Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings: 13550 (Lecture Notes in Computer Science) - Tapa blanda

9783031171079: Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings: 13550 (Lecture Notes in Computer Science)

Tapa blanda

ISBN 10: 3031171071 ISBN 13: 9783031171079

Editorial: Springer, 2022

Ver todas las copias de esta edici�n del ISBN

1 Usado

De EUR 48,93

11 Nuevo

De EUR 70,53

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.

The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods.

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

Editorial: Springer
A�o de publicaci�n: 2022
Idioma: Ingl�s
ISBN 10: 3031171071
ISBN 13: 9783031171079
Encuadernaci�n: Tapa blanda
N�mero de edici�n: 1
N�mero de p�ginas: 388
Editor: Schlingloff Bernd-Holger, Chai Ming
Contacto del fabricante: no disponible
Persona responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Comprar usado

Zustand: Hervorragend | Seiten:...

Ver este art�culo

EUR 48,93

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 70,53

Convertir moneda

EUR 5,20 gastos de env�o desde Reino Unido 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: 20th International...

Imagen de archivo

Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26�30, 2022, Proceedings

Unbekannt

Publicado por Springer International Publishing, 2022

ISBN 10: 3031171071 ISBN 13: 9783031171079

Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

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

Contactar al vendedor

Comprar usado

EUR 48,93

Convertir moneda

Gastos de env�o: EUR 14,90

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 3 disponibles

A�adir al carrito

Imagen de archivo

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings (Lecture Notes in Computer Science)

Publicado por Springer, 2022

ISBN 10: 3031171071 ISBN 13: 9783031171079

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: ria9783031171079_new

Contactar al vendedor

Comprar nuevo

EUR 70,53

Convertir moneda

Gastos de env�o: EUR 5,20

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

Ming Chai

Publicado por Springer International Publishing Sep 2022, 2022

ISBN 10: 3031171071 ISBN 13: 9783031171079

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 book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods. 388 pp. Englisch. N� de ref. del art�culo: 9783031171079

Contactar al vendedor

Comprar nuevo

EUR 69,54

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

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

ISBN 10: 3031171071 ISBN 13: 9783031171079

Nuevo Kartoniert / Broschiert

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Kartoniert / Broschiert. Condici�n: New. N� de ref. del art�culo: 693976964

Contactar al vendedor

Comprar nuevo

EUR 61,55

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 : 20th International Conference, SEFM 2022, Berlin, Germany, September 26�30, 2022, Proceedings

Ming Chai

Publicado por Springer International Publishing, 2022

ISBN 10: 3031171071 ISBN 13: 9783031171079

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 book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods. N� de ref. del art�culo: 9783031171079

Contactar al vendedor

Comprar nuevo

EUR 69,54

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 : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Schlingloff, Bernd-Holger

Publicado por Springer 2022-09, 2022

ISBN 10: 3031171071 ISBN 13: 9783031171079

Nuevo PF

Librería: Chiron Media, Wallingford, Reino Unido

Calificaci�n del vendedor: 4 de 5 estrellas

PF. Condici�n: New. N� de ref. del art�culo: 6666-IUK-9783031171079

Contactar al vendedor

Comprar nuevo

EUR 69,51

Convertir moneda

Gastos de env�o: EUR 17,36

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 10 disponibles

A�adir al carrito

Imagen del vendedor

Software Engineering and Formal Methods

Ming Chai

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

ISBN 10: 3031171071 ISBN 13: 9783031171079

Nuevo Taschenbuch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Neuware -This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch. N� de ref. del art�culo: 9783031171079

Contactar al vendedor