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 Using Comparable Corpora for Under-Resourced Areas of Machine Translation by

bigCover of the book Engineering Dynamics by

bigCover of the book Development of Coherent Detector Technologies for Sub-Millimetre Wave Astronomy Observations by

bigCover of the book What Is Health Insurance (Good) For? by

bigCover of the book Advances in Medium and High Temperature Solid Oxide Fuel Cell Technology by

bigCover of the book Singular Perturbations by

bigCover of the book Complex Motions and Chaos in Nonlinear Systems by

bigCover of the book Measuring, Interpreting and Translating Electron Quasiparticle - Phonon Interactions on the Surfaces of the Topological Insulators Bismuth Selenide and Bismuth Telluride by

bigCover of the book Food Preservation in Developing Countries: Challenges and Solutions by

bigCover of the book Linguistic and Cultural Studies: Traditions and Innovations by

bigCover of the book Inverse Problems by

bigCover of the book SDL 2015: Model-Driven Engineering for Smart Cities by

bigCover of the book Services – SERVICES 2018 by

bigCover of the book The Complementarity Regime of the International Criminal Court 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