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 The Application of Fuzzy Logic for Managerial Decision Making Processes by
bigCover of the book Intervention Effectiveness Research: Quality Improvement and Program Evaluation by
bigCover of the book Frequency References, Power Management for SoC, and Smart Wireless Interfaces by
bigCover of the book Charge-Trapping Non-Volatile Memories by
bigCover of the book Adaptive Biometric Systems by
bigCover of the book Strain Gradient Plasticity-Based Modeling of Damage and Fracture by
bigCover of the book Rethinking Transitional Gender Justice by
bigCover of the book The Controversy over Marine Protected Areas by
bigCover of the book Knowing Demons, Knowing Spirits in the Early Modern Period by
bigCover of the book Prehistoric Warfare and Violence by
bigCover of the book Clinical Image-Based Procedures. Translational Research in Medical Imaging by
bigCover of the book Introduction to Intelligent Surveillance by
bigCover of the book Methods of Measuring Moisture in Building Materials and Structures by
bigCover of the book Algebraic Number Theory by
bigCover of the book Requirements Engineering for Service and Cloud Computing 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