Abstract State Machines, Alloy, B, TLA, VDM, and Z

5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, 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 Sustainable Operations Management by
bigCover of the book The Soils of Iran by
bigCover of the book Radiation Physics for Medical Physicists by
bigCover of the book Circular Business Models by
bigCover of the book Topology in Magnetism by
bigCover of the book High-Performance Scientific Computing by
bigCover of the book Nutrition Physiology and Metabolism in Spaceflight and Analog Studies by
bigCover of the book Origin and Evolution of Biodiversity by
bigCover of the book Statistical Disclosure Control for Microdata by
bigCover of the book Web-Age Information Management by
bigCover of the book Valuing Chaparral by
bigCover of the book Achievements, History and Challenges in Geophysics by
bigCover of the book Religion and Culture in Dialogue by
bigCover of the book Sunspots and Non-Linear Dynamics by
bigCover of the book Symbiotic Interaction 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