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 SDN and NFV Security by
bigCover of the book Spectra and Dynamics of Small Molecules by
bigCover of the book Cultivating Charismatic Power by
bigCover of the book Information Processing in Medical Imaging by
bigCover of the book Global Bioethics: The Impact of the UNESCO International Bioethics Committee by
bigCover of the book Advances on Broadband and Wireless Computing, Communication and Applications by
bigCover of the book Crisis in the Eurozone Periphery by
bigCover of the book Social Entrepreneurship and Sustainable Business Models by
bigCover of the book The Walter Lippmann Colloquium by
bigCover of the book Algorithms and Models for the Web Graph by
bigCover of the book Fundamentals of Structural Engineering by
bigCover of the book Contextualism, Factivity and Closure by
bigCover of the book Inverse Problems and Large-Scale Computations by
bigCover of the book Selected Exercises in Particle and Nuclear Physics by
bigCover of the book Combinatorics and Complexity of Partition Functions 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