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 Advanced Information Systems Engineering Workshops by

bigCover of the book Research and Practical Issues of Enterprise Information Systems by

bigCover of the book Kantian Antitheodicy by

bigCover of the book Advances in Microbiology, Infectious Diseases and Public Health by

bigCover of the book Human Interaction and Emerging Technologies by

bigCover of the book Accountability and Security in the Cloud by

bigCover of the book Applied Simulation and Optimization by

bigCover of the book Food Security Governance in the Arctic-Barents Region by

bigCover of the book Alcoholic and Non-Alcoholic Fatty Liver Disease by

bigCover of the book Foundations and Practice of Security by

bigCover of the book Innovative Solutions for Sustainable Supply Chains by

bigCover of the book Adaptive Control of Solar Energy Collector Systems by

bigCover of the book Computer Vision -- ACCV 2014 by

bigCover of the book Cage Metal Complexes by

bigCover of the book Intelligent Automation in Renewable Energy 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