|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (Paperback, 1st ed. 2018)
Loot Price: R1,514
Discovery Miles 15 140
|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (Paperback, 1st ed. 2018)
Series: Theoretical Computer Science and General Issues, 10817
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 6th
International Conference on Abstract State Machines, Alloy, B, TLA,
VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20
full and 11 short papers presented in this volume were carefully
reviewed and selected from 60 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
