Africa largest book store
By: (Edited by) Atif Mashkoor , (Edited by) Klaus-Dieter Schewe , (Edited by) Michael Butler , (Edited by) Miklos Biro
Extended Catalogue
Delivery fee
Delivery in 10 to 14 days
This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016.
The 17 full and 15 short papers presented in this volume were carefullyreviewed and selected from 61 submissions. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.
Get Abstract State Machines, Alloy, B, TLA, VDM, and Z by at the best price and quality guranteed only at Werezi Africa largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages. Enjoy Shopping Best Offers & Deals on books Online from Werezi - Receive at your doorstep - Fast Delivery - Secure mode of Payment