Cláudio Gomes – författare
Visar alla böcker från författaren Cláudio Gomes. Handla med fri frakt och snabb leverans.
6 produkter
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers
Av Antonio Cerone, Marco Autili m. fl.
Häftad, 2022
552 kr
Lägg i varukorg
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6–10, 2021.The 21 contributed papers presented in this volume were carefully reviewed and …
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers
Av Gentiane Venture, Marco Temperini m. fl.
E-bok, 2022
718 kr
Lägg i varukorg
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6–10, 2021. The 21 contributed papers presented in this volume were carefully reviewed and …
Engineering of Digital Twins
Av John Fitzgerald, Cláudio Gomes m. fl.
Inbunden, 2024
2185 kr
Lägg i varukorg
This book is about the engineering of Digital Twins (DTs) of cyber-physical systems (CPSs). It goes behind the glossy image of DTs to help researchers and advanced professionals to ask and answer the fundamental questions underpinning the development of a DT. What are the foundational concepts of …
Engineering of Digital Twins
Av Peter Gorm Larsen, Claudio Gomes m. fl.
E-bok, 2024
2925 kr
Lägg i varukorg
This book is about the engineering of Digital Twins (DTs) of cyber-physical systems (CPSs). It goes behind the glossy image of DTs to help researchers and advanced professionals to ask and answer the fundamental questions underpinning the development of a DT. What are the foundational concepts of …
Engineering Trustworthy Software Systems
6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures
Av Jonathan P. Bowen, Cláudio Gomes m. fl.
Häftad, 2025
568 kr
Lägg i varukorg
This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024.The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions. The …
Engineering Trustworthy Software Systems
6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures
Av Zhiming Liu, Claudio Gomes m. fl.
E-bok, 2025
755 kr
Lägg i varukorg
This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024. The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions. The …
