Bernhard Steffen-Tiziana Margaria
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I - Lecture Notes in Computer Science Bernhard Steffen-Tiziana Margaria 1st ed. 2022 edition

Name: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I - Lecture Notes in Computer Science
Price: 85.99 USD
Availability: OutOfStock
Author: Bernhard Steffen-Tiziana Margaria

Precio

$ 85,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 17 - 29 de jun.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I - Lecture Notes in Computer Science

Bernhard Steffen-Tiziana Margaria

1st ed. 2022 edition

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. formal methods for distributed computing in future railway systems;

598 pages, 72 Illustrations, color; 81 Illustrations, black and white; XIII, 598 p. 153 illus., 72 i

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	20 de octubre de 2022
ISBN13	9783031198489
Editores	Springer International Publishing AG
Páginas	598
Dimensiones	157 × 235 × 34 mm · 930 g
Lengua	Alemán
Editor	Margaria, Tiziana
Editor	Steffen, Bernhard