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 Marine Isotope Stage 3 in Southern South America, 60 KA B.P.-30 KA B.P. by
bigCover of the book Innovations in Enterprise Information Systems Management and Engineering by
bigCover of the book Improving Energy Decisions by
bigCover of the book Quality of Life and Well-Being in an Indian Ethnic Community by
bigCover of the book The Human Hand as an Inspiration for Robot Hand Development by
bigCover of the book Holistic Active Management of Non-Performing Loans by
bigCover of the book EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation VI by
bigCover of the book Bridging People and Sound by
bigCover of the book Pervasive Computing Paradigms for Mental Health by
bigCover of the book Privacy in Statistical Databases by
bigCover of the book Advances in Physical Ergonomics and Human Factors by
bigCover of the book Interactive Storytelling by
bigCover of the book Construction Safety and Waste Management by
bigCover of the book Trends in Insect Molecular Biology and Biotechnology by
bigCover of the book Advanced Microsystems for Automotive Applications 2018 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