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 Advances in Cryptology – EUROCRYPT 2018 by
bigCover of the book Investigating Cultural Aspects in Indian Organizations by
bigCover of the book Finding Lost Childhoods by
bigCover of the book Difficult Decisions in Colorectal Surgery by
bigCover of the book Christian Ethics and Corporate Culture by
bigCover of the book Atlas of Breast Tomosynthesis by
bigCover of the book The Phenomenon of Mental Disorder by
bigCover of the book Social Informatics by
bigCover of the book Light-Emitting Electrochemical Cells by
bigCover of the book The Korean Government and Public Policies in a Development Nexus by
bigCover of the book The New Mountaineer in Late Victorian Britain by
bigCover of the book Metals and the Biology and Virulence of Brucella by
bigCover of the book Demanding Energy by
bigCover of the book Instability and Control of Massively Separated Flows by
bigCover of the book Novel Functional Magnetic Materials 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