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 Optimal Control: Novel Directions and Applications by
bigCover of the book High Performance Through Business Process Management by
bigCover of the book Oral Anticoagulation Therapy by
bigCover of the book The Impact of Artists on Contemporary Urban Development in Europe by
bigCover of the book Abel Gance and the End of Silent Cinema by
bigCover of the book Environmentally Responsible Supply Chains by
bigCover of the book Mapping out the Research Field of Adult Education and Learning by
bigCover of the book Information Theoretic Security by
bigCover of the book The UK’s Relationship with Europe by
bigCover of the book Plant Abiotic Stress Tolerance by
bigCover of the book ECML PKDD 2018 Workshops by
bigCover of the book CHIPS 2020 VOL. 2 by
bigCover of the book Information Geometry by
bigCover of the book Handbook of Agri-Food Law in China, Germany, European Union by
bigCover of the book Knowledge, Information and Creativity Support Systems: Recent Trends, Advances and Solutions 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