Skip to main content

Order Book on WhatsApp! Click to chat now!

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings by Michael Butler (Editor), Klaus-Dieter Schewe (Editor), Atif Mashkoor (Editor), Miklos Biro (Editor)

 

(Lecture Notes in Computer Science (9675)) 1st ed. 2016 Edition 

by Michael Butler (Editor), Klaus-Dieter Schewe (Editor), Atif Mashkoor (Editor), Miklos Biro (Editor) 

ISBN-10:
3319335995
ISBN-13:
978-3319335995
ASIN:
B01FJD7DQQ