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 Project Management and Engineering Research by

bigCover of the book Aiming Big with Small Cars by

bigCover of the book Nationalism, Transnationalism, and Political Islam by

bigCover of the book Graphical Simulation of Deformable Models by

bigCover of the book Modeling Nonlinear Problems in the Mechanics of Strings and Rods by

bigCover of the book Excel 2013 for Physical Sciences Statistics by

bigCover of the book Research Methods in Indigenous Contexts by

bigCover of the book Thermal Transport in Strongly Correlated Rare-Earth Intermetallic Compounds by

bigCover of the book Information Systems Security and Privacy by

bigCover of the book Motion Correction in Thoracic Positron Emission Tomography by

bigCover of the book Biology, Productivity and Bioenergy of Timber-Yielding Plants by

bigCover of the book Risk - A Multidisciplinary Introduction by

bigCover of the book Big Data, Cloud Computing, and Data Science Engineering by

bigCover of the book Threats to Mangrove Forests 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