Concise Guide to Formal Methods

Theory, Fundamentals and Industry Applications

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Programming, Software Development, General Computing
Big bigCover of Concise Guide to Formal Methods

More books from Springer International Publishing

bigCover of the book STAT Inhibitors in Cancer by
bigCover of the book Energy Transitions by
bigCover of the book Clues in the Diagnosis of Non-tumoral Testicular Pathology by
bigCover of the book Analytics for Smart Energy Management by
bigCover of the book Service-Oriented Computing – ICSOC 2018 Workshops by
bigCover of the book Artificial Neural Networks and Machine Learning – ICANN 2016 by
bigCover of the book Cellular and Molecular Approaches to Regeneration and Repair by
bigCover of the book Quantum Correlations Beyond Entanglement by
bigCover of the book Pattern Recognition and Machine Intelligence by
bigCover of the book Basic Concepts in Computational Physics by
bigCover of the book Transparency, Society and Subjectivity by
bigCover of the book Interrogating the Social by
bigCover of the book Management of Soft Tissue Sarcoma by
bigCover of the book Harmonic and Applied Analysis by
bigCover of the book Stochastic and Infinite Dimensional Analysis 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