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 Recent Research in Control Engineering and Decision Making by
bigCover of the book Advances in Variable Structure Systems and Sliding Mode Control—Theory and Applications by
bigCover of the book The Non-Ergodic Nature of Internal Conversion by
bigCover of the book Humanitarian Assistance for Displaced Persons from Myanmar by
bigCover of the book Descriptions, Translations and the Caribbean by
bigCover of the book New Perspectives on the History of Facial Hair by
bigCover of the book The Changing Shape of Politics by
bigCover of the book Water Resources and Food Security in the Vietnam Mekong Delta by
bigCover of the book Multiculturalism as Multimodal Communication by
bigCover of the book Fundamentals of Computer Architecture and Design by
bigCover of the book Stable Non-Gaussian Self-Similar Processes with Stationary Increments by
bigCover of the book Evangelical Pilgrims from the East by
bigCover of the book Industry 4.0 and Engineering for a Sustainable Future by
bigCover of the book Distance Sampling: Methods and Applications by
bigCover of the book The Evaporation Mechanism in the Wick of Copper Heat Pipes 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