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

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)

$84.99
Choose Expedited Shipping at checkout for guaranteed delivery by Monday, February 25

Product Details

ISBN-13: 9783319912707
Publisher: Springer International Publishing
Publication date: 06/15/2018
Series: Lecture Notes in Computer Science , #10817
Edition description: 1st ed. 2018
Pages: 432
Product dimensions: 6.10(w) x 9.25(h) x (d)

Table of Contents


Invited Talks.- Translation and Transformation.- Analysis and Tests.- Reals and Hybrid Systems.-


Refinement.- Hybrid ERTMS Case Study.- Short Papers.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews