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

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 China’s Ethical Revolution and Regaining Legitimacy by

bigCover of the book Recent Advances in Computational Optimization by

bigCover of the book Computing Platforms for Software-Defined Radio by

bigCover of the book Social Informatics by

bigCover of the book Sustainable Building and Built Environments to Mitigate Climate Change in the Tropics by

bigCover of the book Supervising Child Protection Practice: What Works? by

bigCover of the book Modern Organocatalyzed Methods in Carbohydrate Chemistry by

bigCover of the book Drinking Water Minerals and Mineral Balance by

bigCover of the book Machine Learning Paradigms by

bigCover of the book Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias by

bigCover of the book Alasdair MacIntyre, Rationality and Education by

bigCover of the book Issues of Gender and Sexual Orientation in Humanitarian Emergencies by

bigCover of the book Towards a Psychosomatic Conception of Hypochondria by

bigCover of the book Enterprise, Organization, and Technology in China by

bigCover of the book Epistemology, Ethics, and Meaning in Unusually Personal Scholarship 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