Abstract State Machines, Alloy, B, TLA, VDM, and Z

5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Abstract State Machines, Alloy, B, TLA, VDM, and Z

More books from Springer International Publishing

bigCover of the book Information Technology in Bio- and Medical Informatics by

bigCover of the book Cross-cultural Dialogue on the Virtues by

bigCover of the book Holocaust Education in Primary Schools in the Twenty-First Century by

bigCover of the book Preventing Corporate Corruption by

bigCover of the book Success in Academic Surgery by

bigCover of the book Post-Soviet Migration and Diasporas by

bigCover of the book Dementia in Nursing Homes by

bigCover of the book Modern Techniques and Solvents for the Extraction of Microbial Oils by

bigCover of the book Biomimetics Through Nanoelectronics by

bigCover of the book Special Topics in Structural Dynamics, Volume 6 by

bigCover of the book New Trends in Image Analysis and Processing – ICIAP 2017 by

bigCover of the book Global Perspectives on Stem Cell Technologies by

bigCover of the book High Performance Computing in Science and Engineering ‘13 by

bigCover of the book The Family Office by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy