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 Twin Support Vector Machines by

bigCover of the book Space Engineering by

bigCover of the book Out of Operating Room Anesthesia by

bigCover of the book Proceedings of the 4th International Congress of Automotive and Transport Engineering (AMMA 2018) by

bigCover of the book Law and Economics in Europe and the U.S. by

bigCover of the book CAD, 3D Modeling, Engineering Analysis, and Prototype Experimentation by

bigCover of the book Computer Models for Facial Beauty Analysis by

bigCover of the book Mathematical Models of Electrical Network Systems by

bigCover of the book Toward a Small Family Ethic by

bigCover of the book Foreign Policy Analysis by

bigCover of the book Green IT Engineering: Concepts, Models, Complex Systems Architectures by

bigCover of the book FM 2016: Formal Methods by

bigCover of the book Language Policy and Language Acquisition Planning by

bigCover of the book Functional Safety for Road Vehicles by

bigCover of the book The Culture Industry and Participatory Audiences 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