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

6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, 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 Sustainability in a Digital World by

bigCover of the book Thermophilic Carboxydotrophs and their Applications in Biotechnology by

bigCover of the book The Philosophy of Science and Engineering Design by

bigCover of the book Risk Assessment and Risk-Driven Testing by

bigCover of the book Sovereignty Referendums in International and Constitutional Law by

bigCover of the book Enterprise Applications and Services in the Finance Industry by

bigCover of the book Principles of Health Interoperability by

bigCover of the book Recent Trends in Computational Engineering - CE2014 by

bigCover of the book Information Systems Architecture and Technology: Proceedings of 39th International Conference on Information Systems Architecture and Technology – ISAT 2018 by

bigCover of the book Development and Planning in Seven Major Coastal Cities in Southern and Eastern China by

bigCover of the book Tumor Immune Microenvironment in Cancer Progression and Cancer Therapy by

bigCover of the book Set Phasers to Teach! by

bigCover of the book Programming Phase-Field Modeling by

bigCover of the book Advances in Biomedicine 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