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 Landslide Science for a Safer Geoenvironment by
bigCover of the book Emerging Challenges in Business, Optimization, Technology, and Industry by
bigCover of the book Gender and Queer Perspectives on Brexit by
bigCover of the book Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. III) by
bigCover of the book Biochemical Roles of Eukaryotic Cell Surface Macromolecules by
bigCover of the book New Solutions for Challenges in Applications of New Materials and Geotechnical Issues by
bigCover of the book Posterior Fossa Tumors in Children by
bigCover of the book Roman Law and the Origins of the Civil Law Tradition by
bigCover of the book Basic Organic Chemistry for the Life Sciences by
bigCover of the book Transforming Healthcare Through Information Systems by
bigCover of the book Magnetic Resonance and Its Applications by
bigCover of the book Suicide: Phenomenology and Neurobiology by
bigCover of the book Computational Tapered and Cylinder Roller Bearings by
bigCover of the book Transforming IQ into “Orthopédie Mentale“ by
bigCover of the book Time-Dependent CP Violation Measurements 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