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 Host Plants of World Agrilus (Coleoptera, Buprestidae) by

bigCover of the book The Empirical Validation of House Energy Rating (HER) Software for Lightweight Housing in Cool Temperate Climates by

bigCover of the book Numerical Analysis and Its Applications by

bigCover of the book Structural Information and Communication Complexity by

bigCover of the book Roundabouts as Safe and Modern Solutions in Transport Networks and Systems by

bigCover of the book Dynamics of Quantum Dot Lasers by

bigCover of the book Concise Dictionary of Engineering by

bigCover of the book Geospatial Technologies in Geography Education by

bigCover of the book Synthetic Cinema by

bigCover of the book Advances in Human Factors, Software, and Systems Engineering by

bigCover of the book The sine-Gordon Model and its Applications by

bigCover of the book Explorations in Public Sector Economics by

bigCover of the book Semantic Web Evaluation Challenge by

bigCover of the book Inkjet-Configurable Gate Array 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