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 Kasimir Twardowski by
bigCover of the book Advances in Service-Oriented and Cloud Computing by
bigCover of the book Disorders of Blood Pressure Regulation by
bigCover of the book Optimization in the Natural Sciences by
bigCover of the book Applications of Intelligent Optimization in Biology and Medicine by
bigCover of the book Fifty Materials That Make the World by
bigCover of the book Towards Autonomous Robotic Systems by
bigCover of the book Churches, Temples, and Financial Crimes by
bigCover of the book Primary Care for Older Adults by
bigCover of the book Infectious Complications in Cancer Patients by
bigCover of the book PET/CT in Prostate Cancer by
bigCover of the book Multidimensional Integral Representations by
bigCover of the book JIMD Reports - Volume 12 by
bigCover of the book New Results in Numerical and Experimental Fluid Mechanics X by
bigCover of the book Laser Interaction with Biological Material 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