Name: 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, Proceedings
ISBN: 9783319075112

by Boniol, Frederic, Wiels, Virginie, Ait Ameur, Yamine

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, Proceedings

by Boniol, Frederic, Wiels, Virginie, Ait Ameur, Yamine

Marketplace Prices
New from $51.31

New
$51.31

List Price

~~$69.99~~

Discount

26% Off

You Save

$18.68

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783319075112
ISBN: 331907511X
Publication Date: 2014
Publisher: Springer

AUTHOR

Boniol, Frederic, Wiels, Virginie, Ait Ameur, Yamine

SUMMARY

Boniol, Frederic is the author of '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, Proceedings', published 2014 under ISBN 9783319075112 and ISBN 331907511X.

[read more]