Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings - Lecture Notes in Computer Science - - Libros - Springer Nature Switzerland AG - 9783030775421 - 23 de mayo de 2021
En caso de que portada y título no coincidan, el título será el correcto

Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition

Precio
Mex$ 1.121
sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 23 de jul.

Nuestros clientes opinan:

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

This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

167 pages, 33 Illustrations, color; 8 Illustrations, black and white; X, 167 p. 41 illus., 33 illus.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 23 de mayo de 2021
ISBN13 9783030775421
Editores Springer Nature Switzerland AG
Páginas 167
Dimensiones 150 × 220 × 10 mm   ·   454 g
Lengua Alemán  
Editor Mery, Dominique
Editor Raschke, Alexander

Mere med samme udgiver