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 Women and Men in the Qur’ān by

bigCover of the book Post-Crisis Banking Regulation in the European Union by

bigCover of the book Hegel and Empire by

bigCover of the book Aquatic Animal Nutrition by

bigCover of the book Handbook of Genetic Programming Applications by

bigCover of the book Finite Difference Methods. Theory and Applications by

bigCover of the book Reporting the First World War in the Liminal Zone by

bigCover of the book The Forest and the City by

bigCover of the book Processing of Polymer-based Nanocomposites by

bigCover of the book Coherent Structures in Granular Crystals by

bigCover of the book Internet of Things (IoT) in 5G Mobile Technologies by

bigCover of the book Air Pollution Modeling and its Application XXV by

bigCover of the book Water and Land Security in Drylands by

bigCover of the book Intelligent Computing Theories and Application by

bigCover of the book Developments and Retrospectives in Lie Theory 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