search for books and compare prices
cover image
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 Proceedings
By Stefania Gnesi (editor), John Derrick (editor), John Fitzgerald (editor), Michael Leuschel (editor) and Sarfraz Khurshid (editor)
Price
Store
Arrives
Preparing
Shipping
The price is the lowest for any condition, which may be new or used; other conditions may also be available. Rental copies must be returned at the end of the designated period, and may involve a deposit.
Jump down to see edition details for: Paperback
Bibliographic Detail
Publisher Springer-Verlag New York Inc
Publication date July 3, 2012
Pages 378
Binding Paperback
Book category Adult Non-Fiction
ISBN-13 9783642308840
ISBN-10 3642308848
Dimensions 0.75 by 6.25 by 9 in.
Weight 1.20 lbs.
Original list price $89.99
Summaries and Reviews
Amazon.com description: Product Description: This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.

Editions
Paperback
Book cover for 9783642308840
 
The price comparison is for this edition
With John Derrick (other contributor), Sarfraz Khurshid (other contributor), John Fitzgerald (other contributor), Stefania Gnesi (other contributor) | from Springer-Verlag New York Inc (July 3, 2012); titled "Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 Proceedings"
9783642308840 | details & prices | 378 pages | 6.25 × 9.00 × 0.75 in. | 1.20 lbs | List price $89.99
About: This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012.

Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.