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 The Future of the Postal Sector in a Digital World by

bigCover of the book Introduction to the Representation Theory of Algebras by

bigCover of the book Electric Vehicle Systems Architecture and Standardization Needs by

bigCover of the book Computer Aided Verification by

bigCover of the book Early Modern Women's Writing by

bigCover of the book Dioxin and Related Compounds by

bigCover of the book Epigenetic Advancements in Cancer by

bigCover of the book Dictionary of Environmental Engineering and Wastewater Treatment by

bigCover of the book New Frontiers in Quantitative Methods in Informatics by

bigCover of the book The High Representative and EU Foreign Policy Integration by

bigCover of the book Change Management in Nonprofit Organizations by

bigCover of the book Human-Computer Interaction. User Interface Design, Development and Multimodality by

bigCover of the book Geographies of Transport and Ageing by

bigCover of the book Dynamics of the Unicycle 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