.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Abstract State Machines, Alloy, B, TLA, VDM, and Z
. Ed(S): Butler, Michael; Schewe, Klaus-Dieter; Mashkoor, Atif; Biro, Miklos
€ 68.44
FREE Delivery in Ireland
Description for Abstract State Machines, Alloy, B, TLA, VDM, and Z
Paperback. Editor(s): Butler, Michael; Schewe, Klaus-Dieter; Mashkoor, Atif; Biro, Miklos. Series: Lecture Notes in Computer Science. Num Pages: 447 pages, 143 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 682.
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.
Product Details
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
447
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
426
Place of Publication
Cham, Switzerland
ISBN
9783319335995
SKU
V9783319335995
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Abstract State Machines, Alloy, B, TLA, VDM, and Z