Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

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

More books from Springer International Publishing

bigCover of the book Social Informatics by
bigCover of the book Network Games, Control, and Optimization by
bigCover of the book Towards the Future of Fuzzy Logic by
bigCover of the book Ocular Drug Delivery: Advances, Challenges and Applications by
bigCover of the book Hydrothermal Processing in Biorefineries by
bigCover of the book Impact of Long-Period Ground Motions on Structural Design: A Case Study for Bucharest, Romania by
bigCover of the book A Sustainable Livelihood Approach to Poverty Reduction by
bigCover of the book Solid Modeling and Applications by
bigCover of the book Biometric Recognition by
bigCover of the book The Square of Opposition: A Cornerstone of Thought by
bigCover of the book Liberal Neutrality and State Support for Religion by
bigCover of the book Formal Modeling and Analysis of Timed Systems by
bigCover of the book Safety Factor Profile Control in a Tokamak by
bigCover of the book Recent Trends in Cancer Biology: Spotlight on Signaling Cascades and microRNAs by
bigCover of the book Your Guide to the 2017 Total Solar Eclipse 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