Frederic Boniol
ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings - Communications in Computer and Information Science Frederic Boniol 2014 edition

Name: ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings - Communications in Computer and Information Science
Price: 55.99 USD
Availability: OutOfStock
Author: Frederic Boniol

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jun. - 13 de jul.

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

ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings - Communications in Computer and Information Science

Frederic Boniol

2014 edition

This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.

161 pages, 47 black & white illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	26 de mayo de 2014
ISBN13	9783319075112
Editores	Springer International Publishing AG
Páginas	161
Dimensiones	155 × 235 × 10 mm · 254 g
Lengua	Alemán
Editor	Ait Ameur, Yamine
Editor	Boniol, Frederic
Editor	Schewe, Klaus-Dieter
Editor	Wiels, Virginie