Uwe Glässer
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings - Lecture Notes in Computer Science Uwe Glässer 1st ed. 2023 edition

¿Tienes un perfil? Iniciar sesión

Recibe notificaciones sobre nuevos lanzamientos de Uwe Glässer

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

Aún no valorado

Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings - Lecture Notes in Computer Science

Uwe Glässer

1st ed. 2023 edition

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

380 pages, 107 Illustrations, color; 24 Illustrations, black and white; XIII, 380 p. 131 illus., 107

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	15 de mayo de 2023
ISBN13	9783031331626
Editores	Springer International Publishing AG
Páginas	380
Dimensiones	150 × 220 × 10 mm · 553 g
Lengua	Inglés
Editor	Creissac Campos, Jose
Editor	Glasser, Uwe
Editor	Mery, Dominique
Editor	Palanque, Philippe