Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings: 14323 (Lecture Notes in Computer Science) - Tapa blanda

9783031471148: Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings: 14323 (Lecture Notes in Computer Science)

Tapa blanda

ISBN 10: 3031471148 ISBN 13: 9783031471148

Editorial: Springer, 2023

Ver todas las copias de esta edici�n del ISBN

1 Usado

De EUR 46,80

10 Nuevo

De EUR 66,24

This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.

The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

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

EditorialSpringer
A�o de publicaci�n2023
ISBN 10 3031471148
ISBN 13 9783031471148
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de edici�n1
N�mero de p�ginas392
EditorFerreira Carla, Willemse Tim A. C.
Contacto del fabricanteno disponible

Comprar usado

Zustand: Hervorragend | Seiten:...

Ver este art�culo

EUR 46,80

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 66,24

Convertir moneda

EUR 11,70 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: 21st International...

Imagen de archivo

Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Unbekannt

Publicado por Springer Nature Switzerland, 2023

ISBN 10: 3031471148 ISBN 13: 9783031471148

Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

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

Contactar al vendedor

Comprar usado

EUR 46,80

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: 21st International Conference, Sefm 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings

Ferreira, Carla (Editor)/ Willemse, Tim A. C. (Editor)

Publicado por Springer-Nature New York Inc, 2023

ISBN 10: 3031471148 ISBN 13: 9783031471148

Nuevo Paperback

Impresi�n bajo demanda

Librería: Revaluation Books, Exeter, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: Brand New. 390 pages. 9.25x6.10x0.81 inches. In Stock. This item is printed on demand. N� de ref. del art�culo: __3031471148

Contactar al vendedor

Comprar nuevo

EUR 66,24

Convertir moneda

Gastos de env�o: EUR 11,70

De Reino Unido 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: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings (Lecture Notes in Computer Science)

Publicado por Springer, 2023

ISBN 10: 3031471148 ISBN 13: 9783031471148

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

Contactar al vendedor

Comprar nuevo

EUR 73,75

Convertir moneda

Gastos de env�o: EUR 4,65

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

Carla Ferreira

Publicado por Springer Nature Switzerland Okt 2023, 2023

ISBN 10: 3031471148 ISBN 13: 9783031471148

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 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. 392 pp. Englisch. N� de ref. del art�culo: 9783031471148

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: 1 disponibles

A�adir al carrito

Imagen del vendedor

Software Engineering and Formal Methods

Publicado por Springer Nature Switzerland, 2023

ISBN 10: 3031471148 ISBN 13: 9783031471148

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 book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, to. N� de ref. del art�culo: 1123395551

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 : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Tim A. C. Willemse

Publicado por Springer Nature Switzerland, Springer International Publishing, 2023

ISBN 10: 3031471148 ISBN 13: 9783031471148

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 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. N� de ref. del art�culo: 9783031471148

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 del vendedor

Software Engineering and Formal Methods

Tim A. C. Willemse

Publicado por Springer Nature Switzerland, Springer International Publishing Okt 2023, 2023

ISBN 10: 3031471148 ISBN 13: 9783031471148

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 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch. N� de ref. del art�culo: 9783031471148

Contactar al vendedor