Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings - Theoretical Computer Science and General Issues 1st ed. 2018 edition

Name: Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings - Theoretical Computer Science and General Issues
Price: 65.99 USD
Availability: OutOfStock

Precio

$ 65,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de ago. - 14 de sep.

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

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings - Theoretical Computer Science and General Issues

1st ed. 2018 edition

This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

432 pages, 83 Illustrations, black and white; XIV, 432 p. 83 illus.

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	8 de mayo de 2018
ISBN13	9783319912707
Editores	Springer International Publishing AG
Páginas	432
Dimensiones	150 × 220 × 10 mm · 621 g
Lengua	Alemán
Editor	Butler, Michael
Editor	Hoang, Thai Son
Editor	Raschke, Alexander
Editor	Reichl, Klaus