Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops : Cifma, Cosim-cps, Opencert, Asyde, Virtual Event, December 6?10, 2021, Revised Selected Papers

Cerone, Antonio (EDT); Autili, Marco (EDT); Bucaioni, Alessio (EDT); Gomes, Claudio (EDT); Graziani, Pierluigi (EDT)

ISBN 10: 3031124286 ISBN 13: 9783031124280

Editorial: Springer, 2022

Usado Encuadernaci�n de tapa blanda

Librer�a: GreatBookPrices, Columbia, MD, Estados Unidos de America Calificaci�n del vendedor: 5 de 5 estrellas

Vendedor de AbeBooks desde 6 de abril de 2009

Este art�culo en concreto ya no est� disponible.

Ver los art�culos de este vendedor Crear una petici�n para art�culos similares

Ver todos los ejemplares de este libro

Descripci�n

Unread book in perfect condition. N� de ref. del art�culo 44810847

Denunciar este art�culo

Sinopsis:

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.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Detalles bibliogr�ficos

T�tulo: Software Engineering and Formal Methods. ...
Editorial: Springer
A�o de publicaci�n: 2022
Encuadernaci�n: Encuadernaci�n de tapa blanda
Condici�n: As New

Los mejores resultados en AbeBooks

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 Palgrave Macmillan, 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 | 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: 40532781/3

Contactar al vendedor

Comprar usado

EUR 39,79

Env�o por EUR 105,00
Se env�a de Alemania a Estados Unidos de America

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, Revised Selected Papers

Unbekannt

Publicado por Palgrave Macmillan, 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 | 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: 40532781/1

Contactar al vendedor

Comprar usado

EUR 40,98

Env�o por EUR 105,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 3 disponibles

A�adir al carrito

Imagen de archivo

Software Engineering and Formal Methods (eng)

Cerone, Antonio

Publicado por Springer, 2022

ISBN 10: 3031124286 ISBN 13: 9783031124280

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: Brook Bookstore On Demand, Napoli, NA, Italia

Calificaci�n del vendedor: 3 de 5 estrellas

Condici�n: new. Questo � un articolo print on demand. N� de ref. del art�culo: 72HR9NW9YQ

Contactar al vendedor

Comprar nuevo

EUR 46,22

Env�o por EUR 6,80
Se env�a de Italia a Estados Unidos de America

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

Env�o por EUR 48,99
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: M�s de 20 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 (u. a.)

Publicado por Springer, 2022

ISBN 10: 3031124286 ISBN 13: 9783031124280

Nuevo Taschenbuch

Librería: preigu, Osnabr�ck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. 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 (u. a.) | Taschenbuch | xi | Englisch | 2022 | Springer | EAN 9783031124280 | Verantwortliche Person f�r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N� de ref. del art�culo: 122039752

Contactar al vendedor

Comprar nuevo

EUR 50,35

Env�o por EUR 70,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 5 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

Env�o por EUR 62,76
Se env�a de Alemania a Estados Unidos de America

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

Env�o por EUR 23,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Antonio Cerone

Publicado por Springer, Palgrave Macmillan Sep 2022, 2022

ISBN 10: 3031124286 ISBN 13: 9783031124280

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - Print on Demand Titel. 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 KG, Sachsenplatz 4-6, 1201 Wien 364 pp. Englisch. N� de ref. del art�culo: 9783031124280

Contactar al vendedor