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 Digital Subsampling Phase Lock Techniques for Frequency Synthesis and Polar Transmission by
bigCover of the book Intelligent Systems in Production Engineering and Maintenance – ISPEM 2017 by
bigCover of the book Semiconductor Nanotechnology by
bigCover of the book Cognitively Inspired Audiovisual Speech Filtering by
bigCover of the book Boundaries, Extents and Circulations by
bigCover of the book Information and Communications Security by
bigCover of the book Capacity Assessment and the Law by
bigCover of the book Humanizing Mathematics and its Philosophy by
bigCover of the book Craft Beverages and Tourism, Volume 2 by
bigCover of the book Foundational Research in Entrepreneurship Studies by
bigCover of the book Reconstruction and Analysis of 3D Scenes by
bigCover of the book Databases Theory and Applications by
bigCover of the book Multiagent System Technologies by
bigCover of the book Deep Brain Stimulation for Neurological Disorders by
bigCover of the book Isolation and Molecular Characterization of Circulating Tumor Cells 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