Theory and Practice of Formal Methods

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Theory and Practice of Formal Methods

More books from Springer International Publishing

bigCover of the book Switzerland’s Differentiated European Integration by
bigCover of the book Advances in Intelligent Data Analysis XV by
bigCover of the book Residual Stress, Thermomechanics & Infrared Imaging, Hybrid Techniques and Inverse Problems, Volume 8 by
bigCover of the book Revisiting Metaphors in International Relations Theory by
bigCover of the book Understanding Family-Owned Business Groups by
bigCover of the book Mega Transport Infrastructure Planning by
bigCover of the book From Real to Complex Analysis by
bigCover of the book An Introduction to Zooarchaeology by
bigCover of the book Artificial Intelligence and Algorithms in Intelligent Systems by
bigCover of the book Neural Information Processing by
bigCover of the book Landed Estates and Rural Inequality in English History by
bigCover of the book Oil Pollution in the Mediterranean Sea: Part II by
bigCover of the book Purposeful Engineering Economics by
bigCover of the book Submarine Hydrodynamics by
bigCover of the book Advanced Concepts for Intelligent Vision Systems 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