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 Physics of Lakes by
bigCover of the book Integrating Information and Communication Technologies in English for Specific Purposes by
bigCover of the book Responsible Research and Innovation Actions in Science Education, Gender and Ethics by
bigCover of the book Dynamics of Climate Change and Water Resources of Northwestern Himalaya by
bigCover of the book Surgical Decision Making by
bigCover of the book Feeding Japan by
bigCover of the book Saphenous Vein-Sparing Strategies in Chronic Venous Disease by
bigCover of the book Development and the Right to Education in Africa by
bigCover of the book Philosophy and Breaking Bad by
bigCover of the book Security Protocols XXIII by
bigCover of the book Stochastic Computing: Techniques and Applications by
bigCover of the book Learning Games by
bigCover of the book Acute Heart Failure by
bigCover of the book Neuroimaging of Pain by
bigCover of the book Fc Receptors 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