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 Values Deliberation and Collective Action by
bigCover of the book On the Move to Meaningful Internet Systems. OTM 2018 Conferences by
bigCover of the book New Regional Initiatives in China’s Foreign Policy by
bigCover of the book Values and Functions for Future Cities by
bigCover of the book A Geometric Algebra Invitation to Space-Time Physics, Robotics and Molecular Geometry by
bigCover of the book Health Care Transition by
bigCover of the book Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II by
bigCover of the book Reading Uncreative Writing by
bigCover of the book Fundamentals of Optimization by
bigCover of the book Advances in Computer Algebra by
bigCover of the book Critical Infrastructure Protection Research by
bigCover of the book Sex and Gender Factors Affecting Metabolic Homeostasis, Diabetes and Obesity by
bigCover of the book Thyroid Nodules by
bigCover of the book Data Privacy Management and Security Assurance by
bigCover of the book Projective Geometry 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