search for books and compare prices
Virginie Wiels has written 1 work(s)
Search for other authors with the same name
displaying 1 to 1 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
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
cover image for 9783319075112
Product Description: This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions...read more
By Yamine Ait Ameur (editor), Frederic Boniol (editor), Klaus-Dieter Schewe (editor) and Virginie Wiels (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783319075112 | Springer-Verlag New York Inc, May 26, 2014, cover price $72.00 | About this edition: This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014.

displaying 1 to 1 | at end