search for books and compare prices
ABZ 2014 - The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Pr
By
Frederic Boniol (editor),
Yamine Ait Ameur (editor),
Virginie Wiels (editor) and
Klaus-Dieter Schewe (editor)
Price
Store
Arrives
Preparing
Shipping
Jump quickly to results on these stores:
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Jump down to see edition details for: Paperback
Bibliographic Detail
Publisher
Springer-Verlag New York Inc
Publication date
May 26, 2014
Pages
174
Binding
Paperback
Book category
Adult Non-Fiction
ISBN-13
9783319075112
ISBN-10
331907511X
Dimensions
0 by 6.10 by 9.25 in.
Published in
Europe
Original list price
$72.00
Summaries and Reviews
Amazon.com description: Product Description: This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.
Editions
Paperback
The price comparison is for this edition
from Springer-Verlag New York Inc (May 26, 2014)
9783319075112 | details & prices | 174 pages | List price $72.00
About: This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014.
About: This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014.
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.