.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): Ait Ameur, Yamine; Schewe, Klaus-Dieter
€ 67.21
FREE Delivery in Ireland
Description for Abstract State Machines, Alloy, B, TLA, VDM, and Z
Paperback. Editor(s): Ait Ameur, Yamine; Schewe, Klaus-Dieter. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 352 pages, 93 black & white illustrations, biography. BIC Classification: UM; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The 13 full papers presented together with 3 invited talks and 19 short papers were carefully reviewed and selected from 81 submissions. The ABZ conference series is dedicated to the cross-fertilization of six related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of ... Read more
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The 13 full papers presented together with 3 invited talks and 19 short papers were carefully reviewed and selected from 81 submissions. The ABZ conference series is dedicated to the cross-fertilization of six related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of ... Read more
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
352
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
336
Place of Publication
Berlin, Germany
ISBN
9783662436516
SKU
V9783662436516
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Abstract State Machines, Alloy, B, TLA, VDM, and Z