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 Algorithmic Game Theory by
bigCover of the book Particles and Astrophysics by
bigCover of the book Cyber Physical Systems. Design, Modeling, and Evaluation by
bigCover of the book EuCoMeS 2018 by
bigCover of the book Revisiting Metaphors in International Relations Theory by
bigCover of the book AI 2015: Advances in Artificial Intelligence by
bigCover of the book Dynamic Stability and Bifurcation in Nonconservative Mechanics by
bigCover of the book Biofilm and Materials Science by
bigCover of the book Thyroid Cancer by
bigCover of the book Radical Behaviorism and Cultural Analysis by
bigCover of the book German-Sino Business Networks by
bigCover of the book Security, Privacy, and Anonymity in Computation, Communication, and Storage by
bigCover of the book Stakeholder Engagement: Clinical Research Cases by
bigCover of the book The Discourse of Sensibility by
bigCover of the book Formal Aspects of Component Software 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