Name: Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Lecture Notes in Computer Science)
ISBN: 9783319335995

by Butler, Michael, Schewe, Klaus-Dieter, Mashkoor, Atif

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Lecture Notes in Computer Science)

by Butler, Michael, Schewe, Klaus-Dieter, Mashkoor, Atif

Marketplace Prices
New from $51.31

New
$51.31

List Price

~~$94.00~~

Discount

45% Off

You Save

$42.69

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: 9783319335995
ISBN: 3319335995
Edition: 1st ed. 2016
Publication Date: 2016
Publisher: Springer

AUTHOR

Butler, Michael, Schewe, Klaus-Dieter, Mashkoor, Atif

SUMMARY

Butler, Michael is the author of 'Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Lecture Notes in Computer Science)', published 2016 under ISBN 9783319335995 and ISBN 3319335995.

[read more]