Kniha Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops Antonio Cerone

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This volume constitutes revised selected papers from the four workshops collocated with the 19th Int...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2022
Stránek
350
EAN
9783031124280
Enbook ID
39439127
Vydavatel
Hmotnost
552
Rozměry
155 x 235 x 20

Kompletní popis

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 selected from a total of 29 submissions. The book also contains 3 invited talks.SEFM 2021 presents the following four workshops:CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development.Due to the Corona pandemic this event was held virtually.

Mohlo by vás zajímat

Something Girl

Jodi Taylor
205
171
663

I Am...

William (Bill) Green
166

Capillary Surfaces

Dieter W. Langbein
4 566

Play to Learn

Tianshi Hao
315

Atlantis

Christos a. Djonis
622

Baroque Cooking 1740

Adi Bittermann
1 356

1421

Gavin Menzies
284
2 385
263

Captain McCrea's War

John L. Mccrea
442
853

Zákaznicí kteří koupili tuto knihu koupili také

Kak vsyo ustroeno

Elena Kachur
103

Poesía completa (1869-1888)

Friedrich Nietzsche
477