Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, ... 13230 (Lecture Notes in Computer Science) - Tapa blanda

9783031124280: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, ... 13230 (Lecture Notes in Computer Science)

Tapa blanda

ISBN 10: 3031124286 ISBN 13: 9783031124280

Editorial: Springer, 2022

Ver todas las copias de esta edici�n del ISBN

2 Usado

De EUR 35,81

10 Nuevo

De EUR 53,49

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.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

EditorialSpringer
A�o de publicaci�n2022
ISBN 10 3031124286
ISBN 13 9783031124280
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de edici�n1
N�mero de p�ginas364
EditorCerone Antonio, Autili Marco, Bucaioni Alessio, Gomes Cl�udio, Graziani Pierluigi, Palmieri Maurizio, Temperini Marco, Venture Gentiane
Contacto del fabricanteno disponible

Comprar usado

Zustand: Hervorragend | Seiten:...

Ver este art�culo

EUR 35,81

Convertir moneda

EUR 14,90 gastos de env�o desde Alemania a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 53,49

Convertir moneda

EUR 11,00 gastos de env�o desde Alemania a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Resultados de la b�squeda para Software Engineering and Formal Methods. SEFM 2021...

Imagen de archivo

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6�10, 2021, Revised Selected Papers

Unbekannt

Publicado por Springer International Publishing, 2022

ISBN 10: 3031124286 ISBN 13: 9783031124280

Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: Hervorragend. Zustand: Hervorragend | Seiten: 364 | Sprache: Englisch | Produktart: B�cher. N� de ref. del art�culo: 40532781/1

Contactar al vendedor

Comprar usado

EUR 35,81

Convertir moneda

Gastos de env�o: EUR 14,90

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen de archivo

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6�10, 2021, Revised Selected Papers

Unbekannt

Publicado por Springer International Publishing, 2022

ISBN 10: 3031124286 ISBN 13: 9783031124280

Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: Gut. Zustand: Gut | Seiten: 364 | Sprache: Englisch | Produktart: B�cher. N� de ref. del art�culo: 40532781/3

Contactar al vendedor

Comprar usado

EUR 35,81

Convertir moneda

Gastos de env�o: EUR 14,90

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Antonio Cerone

Publicado por Springer International Publishing Sep 2022, 2022

ISBN 10: 3031124286 ISBN 13: 9783031124280

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 364 pp. Englisch. N� de ref. del art�culo: 9783031124280

Contactar al vendedor

Comprar nuevo

EUR 53,49

Convertir moneda

Gastos de env�o: EUR 11,00

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6�10, 2021, Revised Selected Papers

Antonio Cerone

Publicado por Springer International Publishing, 2022

ISBN 10: 3031124286 ISBN 13: 9783031124280

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 washeld virtually. N� de ref. del art�culo: 9783031124280

Contactar al vendedor

Comprar nuevo

EUR 53,49

Convertir moneda

Gastos de env�o: EUR 11,99

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, ... Papers (Lecture Notes in Computer Science)

Publicado por Springer, 2022

ISBN 10: 3031124286 ISBN 13: 9783031124280

Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. In. N� de ref. del art�culo: ria9783031124280_new

Contactar al vendedor

Comprar nuevo

EUR 61,53

Convertir moneda

Gastos de env�o: EUR 4,68

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Publicado por Springer, Berlin|Springer International Publishing|Springer, 2022

ISBN 10: 3031124286 ISBN 13: 9783031124280

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 presente. N� de ref. del art�culo: 668447244

Contactar al vendedor

Comprar nuevo

EUR 48,37

Convertir moneda

Gastos de env�o: EUR 19,49

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Antonio Cerone

Publicado por Springer International Publishing, Springer International Publishing Sep 2022, 2022

ISBN 10: 3031124286 ISBN 13: 9783031124280

Nuevo Taschenbuch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch. N� de ref. del art�culo: 9783031124280

Contactar al vendedor