Please click here for information on incomplete orders placed before 03 July 2024
![Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings - Michael Butler](https://www.booktopia.com.au/covers/big/9783319336008/6410/abstract-state-machines-alloy-b-tla-vdm-and-z.jpg)
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), Miklos Biro (Editor), Klaus-Dieter Schewe (Editor), Atif Mashkoor (Editor)
eBook | 23 May 2016
Sorry, we are not able to source the ebook you are looking for right now.
We did a search for other ebooks with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your ebook.
ISBN: 9783319336008
ISBN-10: 3319336002
Series: Lecture Notes in Computer Science : Book 9675
Published: 23rd May 2016
Format: ePUB
Language: English
Publisher: Springer International Publishing
Volume Number: 9675
You Can Find This eBook In
This product is categorised by
- Non-FictionMathematicsMathematical FoundationMathematical Logic
- Non-FictionComputing & I.T.Computer ScienceMathematical Theory of Computation
- Non-FictionComputing & I.T.Computer Programming & Software DevelopmentSoftware Engineering
- Non-FictionComputing & I.T.Computer Programming & Software DevelopmentProgramming & Scripting Languages
- Non-FictionComputing & I.T.Computer Programming & Software DevelopmentCompilers & Interpreters