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 Multilevel Network Analysis for the Social Sciences by
bigCover of the book Seafarers’ Rights in China by
bigCover of the book MediaSync by
bigCover of the book Fair Development in China by
bigCover of the book Current-Mode Analog Nonlinear Function Synthesizer Structures by
bigCover of the book International Adoption and Clinical Practice by
bigCover of the book Artificial Intelligence and Soft Computing by
bigCover of the book Membrane Potential Imaging in the Nervous System and Heart by
bigCover of the book Understanding Child Neglect by
bigCover of the book Gastrointestinal Physiology by
bigCover of the book Information Technology in Bio- and Medical Informatics by
bigCover of the book Complex Geometry and Dynamics by
bigCover of the book Ticks of Europe and North Africa by
bigCover of the book Off-road Vehicle Dynamics by
bigCover of the book Finance and the Welfare State 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