Abstract State Machines, Alloy, B, TLA, VDM, and Z

6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, 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 Environmental Project Management by
bigCover of the book Algebraic and Differential Methods for Nonlinear Control Theory by
bigCover of the book The Polemics of C.L.R. James and Contemporary Black Activism by
bigCover of the book Energy Poverty by
bigCover of the book South Asian Rivers by
bigCover of the book Cooperative Device-to-Device Communication in Cognitive Radio Cellular Networks by
bigCover of the book Research Methodology by
bigCover of the book Dynamics of Bodies with Time-Variable Mass by
bigCover of the book Theory of Nonlinear Propagation of High Harmonics Generated in a Gaseous Medium by
bigCover of the book Quince Duncan's Weathered Men and The Four Mirrors by
bigCover of the book Restorative Justice in India by
bigCover of the book Supersymmetric Grand Unified Theories by
bigCover of the book Pharma-Nutrition by
bigCover of the book Basic Thermochemistry in Materials Processing by
bigCover of the book Lithium Metal Anodes and Rechargeable Lithium Metal Batteries 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