Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, ... 15221 (Lecture Notes in Computer Science) - Tapa blanda

9783031753794: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, ... 15221 (Lecture Notes in Computer Science)

Tapa blanda

ISBN 10: 3031753798 ISBN 13: 9783031753794

Editorial: Springer, 2024

Ver todas las copias de esta edici�n del ISBN

1 Usado

De EUR 53,63

14 Nuevo

De EUR 69,44

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.

ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

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

EditorialSpringer
A�o de publicaci�n2024
ISBN 10 3031753798
ISBN 13 9783031753794
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de p�ginas420
EditorMargaria Tiziana, Steffen Bernhard
Contacto del fabricanteno disponible

Comprar usado

Condici�n: Bien

Ver este art�culo

EUR 53,63

Convertir moneda

EUR 12,71 gastos de env�o desde Estados Unidos de America a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 69,44

Convertir moneda

EUR 19,49 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 Leveraging Applications of Formal Methods, Verification...

Imagen de archivo

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification (Lecture Notes in Computer Science)

Publicado por Springer, 2024

ISBN 10: 3031753798 ISBN 13: 9783031753794

Antiguo o usado paperback

Librería: Books From California, Simi Valley, CA, Estados Unidos de America

Calificaci�n del vendedor: 4 de 5 estrellas

paperback. Condici�n: Very Good. N� de ref. del art�culo: mon0003670311

Contactar al vendedor

Comprar usado

EUR 53,63

Convertir moneda

Gastos de env�o: EUR 12,71

De Estados Unidos de America a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Publicado por Springer Verlag GmbH, 2024

ISBN 10: 3031753798 ISBN 13: 9783031753794

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. N� de ref. del art�culo: 1853461551

Contactar al vendedor

Comprar nuevo

EUR 69,44

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

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Bernhard Steffen

Publicado por Springer Nature Switzerland, Springer Nature Switzerland Okt 2024, 2024

ISBN 10: 3031753798 ISBN 13: 9783031753794

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 -The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification,construction, test, and maintenance of systems from the point of view of their different application domains. 420 pp. Englisch. N� de ref. del art�culo: 9783031753794

Contactar al vendedor

Comprar nuevo

EUR 79,17

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

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27�31, 2024, Proceedings, Part III

Bernhard Steffen

Publicado por Springer Nature Switzerland, Springer Nature Switzerland, 2024

ISBN 10: 3031753798 ISBN 13: 9783031753794

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 - The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification,construction, test, and maintenance of systems from the point of view of their different application domains. N� de ref. del art�culo: 9783031753794

Contactar al vendedor

Comprar nuevo

EUR 79,17

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

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification (Lecture Notes in Computer Science)

Publicado por Springer, 2024

ISBN 10: 3031753798 ISBN 13: 9783031753794

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

Contactar al vendedor

Comprar nuevo

EUR 87,55

Convertir moneda

Gastos de env�o: EUR 4,72

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 de archivo

LEVERAGING APPLICATIONS OF FORMAL METHOD

MARGARIA, TIZIANA

Publicado por Springer, 2024

ISBN 10: 3031753798 ISBN 13: 9783031753794

Nuevo Tapa blanda

Librería: Speedyhen, London, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: NEW. N� de ref. del art�culo: NW9783031753794

Contactar al vendedor

Comprar nuevo

EUR 84,01

Convertir moneda

Gastos de env�o: EUR 9,48

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen de archivo

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification (Lecture Notes in Computer Science)

Publicado por Springer, 2024

ISBN 10: 3031753798 ISBN 13: 9783031753794

Nuevo Tapa blanda

Librería: California Books, Miami, FL, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: I-9783031753794

Contactar al vendedor

Comprar nuevo

EUR 87,59

Convertir moneda

Gastos de env�o: EUR 7,01

De Estados Unidos de America a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Bernhard Steffen

Publicado por Springer Nature Switzerland, Springer Nature Switzerland Okt 2024, 2024

ISBN 10: 3031753798 ISBN 13: 9783031753794

Nuevo Taschenbuch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Neuware -The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch. N� de ref. del art�culo: 9783031753794

Contactar al vendedor