Abstract State Machines, Alloy, B, TLA, VDM, and Z :6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings - Lecture Notes in Computer Science

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Abstract State Machines, Alloy, B, TLA, VDM, and Z :6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings - Lecture Notes in Computer Science

(Author) (Author) (Author) (Author)
paperback
Published: 8 May, 2018
Standard worldwide delivery by Tue, August 11 - Fri, August 14
Order within 0
Condition: NEW
$71.75
Price includes shipping
Available 20 in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by Michael Butler

View All Books by Michael Butler
Living Language: Language, Power & Identity
Living Language: Language, Power & Identity
Michael Butler
$8.91 $12.05
Used
Add to basket
Driveshaft
Driveshaft
Michael Butler
$21.53
New
Add to basket
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler
$71.79
New
Add to basket
Rodin User's Handbook
Rodin User's Handbook
Michael Butler
$29.33
New
Add to basket
1040 Impact Christmas Edition
1040 Impact Christmas Edition
Michael Butler
$7.88
New
Add to basket
Integrated Formal Methods
Integrated Formal Methods
Michael Butler
$62.23
New
Add to basket
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Michael Butler
$71.59
New
Add to basket
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Michael Butler
$62.01
New
Add to basket
Methods, Models and Tools for Fault Tolerance
Methods, Models and Tools for Fault Tolerance
Michael Butler
$71.14
New
Add to basket
Abstract State Machines, B and Z
Abstract State Machines, B and Z
Michael Butler
$71.69
New
Add to basket

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.

See more

More Details

Type Book
ISBN13 9783319912707
ISBN10 3319912704
Number Of Pages 432
Item Weight 1000 g
Publisher / Reseller Springer International Publishing AG
Format paperback
Edition 2018 ed.
See More +