search for books and compare prices
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, Pr
By Klaus-Dieter Schewe; Yamine Ait Ameur; Frederic Boniol; Virginie Wiels
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Sort options: binding | publication date | edition
Paperback
Book cover for 9783319075112
 
from Springer-Verlag New York Inc (May 26, 2014)
9783319075112 | details & prices | 174 pages | List price $72.00
About: This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014.