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

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 Stabilization of Elastic Systems by Collocated Feedback by

bigCover of the book Monooxygenase, Peroxidase and Peroxygenase Properties and Mechanisms of Cytochrome P450 by

bigCover of the book Primate Hearing and Communication by

bigCover of the book Peridynamic Differential Operator for Numerical Analysis by

bigCover of the book Advances in Transport Phenomena 2011 by

bigCover of the book The Convergence Problem for Dissipative Autonomous Systems by

bigCover of the book Slow Viscous Flow by

bigCover of the book Enterprise, Business-Process and Information Systems Modeling by

bigCover of the book Image and Video Technology by

bigCover of the book Image Analysis and Processing - ICIAP 2017 by

bigCover of the book D-type Cyclins and Cancer by

bigCover of the book Carbohydrates as Drugs by

bigCover of the book Female Olympian and Paralympian Events by

bigCover of the book Constructive Side-Channel Analysis and Secure Design by

bigCover of the book Psychology of Perception 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