search for books and compare prices
Abstract State Machines, Alloy, B, Tla, Vdm, and Z: 4th International Conference, Abz 2014, Toulouse, France, June 2-6, 2014. Proceedings
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.
Paperback
With Yamine Ait Ameur (other contributor) |
from Springer Verlag (May 21, 2014)
9783662436516 | details & prices | List price $84.00
About: 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.
About: 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.