Abstract State Machines, Alloy, B, TLA, VDM, and Z :5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings - Lecture Notes in Computer Science

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

Abstract State Machines, Alloy, B, TLA, VDM, and Z :5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings - Lecture Notes in Computer Science

(Author) (Author) (Author) (Author)
paperback
Published: 11 May, 2016
Standard worldwide delivery by Tue, August 25 - Fri, August 28
Order within 0
Condition: NEW
$72.48
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.87 $12.17
Used
Add to basket
Driveshaft
Driveshaft
Michael Butler
$21.74
New
Add to basket
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler
$72.44
New
Add to basket
Rodin User's Handbook
Rodin User's Handbook
Michael Butler
$29.61
New
Add to basket
1040 Impact Christmas Edition
1040 Impact Christmas Edition
Michael Butler
$7.96
New
Add to basket
Integrated Formal Methods
Integrated Formal Methods
Michael Butler
$62.83
New
Add to basket
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Michael Butler
$72.28
New
Add to basket
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Michael Butler
$62.61
New
Add to basket
Methods, Models and Tools for Fault Tolerance
Methods, Models and Tools for Fault Tolerance
Michael Butler
$71.83
New
Add to basket
Abstract State Machines, B and Z
Abstract State Machines, B and Z
Michael Butler
$72.39
New
Add to basket

Description

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.

See more

More Details

Type Book
ISBN13 9783319335995
ISBN10 3319335995
Number Of Pages 426
Item Weight 1000 g
Publisher / Reseller Springer International Publishing AG
Format paperback
Edition 1st ed. 2016
See More +