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 Multi-Market Antitrust Economics by
bigCover of the book Understanding German Real Estate Markets by
bigCover of the book Lichen Secondary Metabolites by
bigCover of the book Processing of Polymer-based Nanocomposites by
bigCover of the book Youth Mediations and Affective Relations by
bigCover of the book Cord Blood Transplantations by
bigCover of the book Food Safety by
bigCover of the book The Palgrave Handbook of Ageing and Physical Activity Promotion by
bigCover of the book Applications of Evolutionary Computation by
bigCover of the book The Appropriation of Religion in Southeast Asia and Beyond by
bigCover of the book Topics and Trends in Current Statistics Education Research by
bigCover of the book Mechatronics and Automatic Control Systems by
bigCover of the book Cartilage by
bigCover of the book Innovations in 3D Geo-Information Sciences by
bigCover of the book R2P and the US Intervention in Libya 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