|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Paperback, 1st ed. 2016)
Loot Price: R1,514
Discovery Miles 15 140
|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Paperback, 1st ed. 2016)
Series: Lecture Notes in Computer Science, 9675
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 5th
International Conference on Abstract State Machines, Alloy, B, TLA,
VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17
full and 15 short papers presented in this volume were carefully
reviewed and selected from 61 submissions. They record the latest
research developments in state-based formal methods Abstract State
Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
