Formal System Verification

State-of the-Art and Future Trends

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Engineering, Computer Architecture
Big bigCover of Formal System Verification

More books from Springer International Publishing

bigCover of the book The Greek Debt Crisis by
bigCover of the book Algebraic K-theory of Crystallographic Groups by
bigCover of the book Gems of Combinatorial Optimization and Graph Algorithms by
bigCover of the book Numerical Simulation in Physics and Engineering by
bigCover of the book Refugee and Mixed Migration Flows by
bigCover of the book Industrial Networks and Intelligent Systems by
bigCover of the book Algorithm Engineering by
bigCover of the book Error Estimates for Well-Balanced Schemes on Simple Balance Laws by
bigCover of the book Complex Networks in Software, Knowledge, and Social Systems by
bigCover of the book Large-Scale Quantum-Mechanical Enzymology by
bigCover of the book Beyond GDP by
bigCover of the book A Clinician's Guide to Sperm DNA and Chromatin Damage by
bigCover of the book Biomolecular Imaging at High Spatial and Temporal Resolution In Vitro and In Vivo by
bigCover of the book Sustainable Goat Production in Adverse Environments: Volume II by
bigCover of the book Social Audit Regulation 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