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

Price

$ 55.99

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 1 - 7

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

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

Media	Books Paperback Book (Book with soft cover and glued back)
Released	May 21, 2014
ISBN13	9783662436516
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	336
Dimensions	155 × 235 × 19 mm · 494 g
Language	French
Editor	Ait Ameur, Yamine
Editor	Schewe, Klaus-Dieter