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 Technological Advances in Organ Transplantation by
bigCover of the book Pediatric Neurotoxicology by
bigCover of the book Neural Information Processing by
bigCover of the book Emerging Technologies for Connected Internet of Vehicles and Intelligent Transportation System Networks by
bigCover of the book Non-Hydrostatic Free Surface Flows by
bigCover of the book Material Selections by a Hybrid Multi-Criteria Approach by
bigCover of the book Credit Correlation by
bigCover of the book Online Harassment by
bigCover of the book Descriptive Topology and Functional Analysis by
bigCover of the book Advances in Spatial Data Handling and Analysis by
bigCover of the book Kant’s Ethics and the Same-Sex Marriage Debate - An Introduction by
bigCover of the book New Frontiers of Multidisciplinary Research in STEAM-H (Science, Technology, Engineering, Agriculture, Mathematics, and Health) by
bigCover of the book Physics of Lakes by
bigCover of the book Computational Science and Its Applications – ICCSA 2017 by
bigCover of the book Reducing Burglary 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