Power Search
Low Price Guarantee
We Take School POs
Abstract State Machines, Alloy, B, Tla, VDM, and Z: 6th International Conference, Abz 2018, Southampton, Uk, June 5-8, 2018, Proceedings 2018 Edition
Contributor(s): Butler, Michael (Editor), Raschke, Alexander (Editor), Hoang, Thai Son (Editor)

View larger image

 ISBN: 3319912704     ISBN-13: 9783319912707
Publisher: Springer
OUR PRICE: $52.24  

Binding Type: Paperback - See All Available Formats & Editions
Published: May 2018
Qty:
Additional Information
BISAC Categories:
- Computers | Machine Theory
- Mathematics | Logic
- Computers | Programming - Algorithms
Dewey: 005.131
Physical Information: 0.91" H x 6.14" W x 9.21" L (1.37 lbs) 432 pages
 
Descriptions, Reviews, Etc.
Publisher Description:

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.
 
Customer ReviewsSubmit your own review
 
To tell a friend about this book, you must Sign In First!