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 Psychosocial Stress and Cardiovascular Disease in Women by
bigCover of the book Behaviour of Strontium in Plants and the Environment by
bigCover of the book 5G and E-Band Communication Circuits in Deep-Scaled CMOS by
bigCover of the book Networks, Movements and Technopolitics in Latin America by
bigCover of the book From an Association to a Royal College by
bigCover of the book Behavioral Analysis of Maternal Filicide by
bigCover of the book Herbal Medicine in Depression by
bigCover of the book Achieving Respiratory Health Equality by
bigCover of the book Principles of Solar Gas Turbines for Electricity Generation by
bigCover of the book Handbook of Information Exchange in Supply Chain Management by
bigCover of the book The Environment-Conflict Nexus by
bigCover of the book International Development Organizations and Fragile States by
bigCover of the book Testosterone by
bigCover of the book Women and Leadership by
bigCover of the book Quakers, Business and Corporate Responsibility 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