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
Big bigCover of Abstract State Machines, Alloy, B, TLA, VDM, and Z

More books from Springer International Publishing

bigCover of the book Epistemology, Context, and Formalism by
bigCover of the book Springer Series in Light Scattering by
bigCover of the book Urban Structure in Hot Arid Environments by
bigCover of the book ICT Systems Security and Privacy Protection by
bigCover of the book Adaptive and Intelligent Control of Microbial Fuel Cells by
bigCover of the book Wisdom Web of Things by
bigCover of the book Food Law and Regulation for Non-Lawyers by
bigCover of the book Managerial Issues in Finance and Banking by
bigCover of the book Climate Change Adaptation, Resilience and Hazards by
bigCover of the book Bone Toxicology by
bigCover of the book Imaging and Metabolism by
bigCover of the book Early Modern Humanism and Postmodern Antihumanism in Dialogue by
bigCover of the book Mapping Spatial Relations, Their Perceptions and Dynamics by
bigCover of the book Quince Duncan's Weathered Men and The Four Mirrors by
bigCover of the book Gasotransmitters in Plants 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