Yamine Ait Ameur
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings - Theoretical Computer Science and General Issues Yamine Ait Ameur 2014 edition

Name: Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings - Theoretical Computer Science and General Issues
Price: 55.99 USD
Availability: OutOfStock
Author: Yamine Ait Ameur

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

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings - Theoretical Computer Science and General Issues

Yamine Ait Ameur

2014 edition

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014.

336 pages, 93 black & white illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	21 de mayo de 2014
ISBN13	9783662436516
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	336
Dimensiones	155 × 235 × 19 mm · 494 g
Lengua	Francés
Editor	Ait Ameur, Yamine
Editor	Schewe, Klaus-Dieter