Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

More books from Springer International Publishing

bigCover of the book R2P and the US Intervention in Libya by
bigCover of the book Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things by
bigCover of the book Smart Energy Control Systems for Sustainable Buildings by
bigCover of the book RNA Processing by
bigCover of the book Mental Disorders in Ancient Philosophy by
bigCover of the book Looking Back on President Barack Obama’s Legacy by
bigCover of the book Theory of Quantum Transport at Nanoscale by
bigCover of the book Concrete Structures by
bigCover of the book Europe and MENA Cooperation Advances in Information and Communication Technologies by
bigCover of the book Regulatory Gaps in Baltic Sea Governance by
bigCover of the book US Foreign Policy in the Middle East by
bigCover of the book Internet and Distributed Computing Systems by
bigCover of the book Security and Trust Management by
bigCover of the book Theory of Nonparametric Tests by
bigCover of the book Breakthrough! 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