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 Public-Key Cryptography – PKC 2018 by
bigCover of the book A Changing Climate for Science by
bigCover of the book Physics of Semiconductor Devices by
bigCover of the book Surprise: An Emotion? by
bigCover of the book Italian American Women, Food, and Identity by
bigCover of the book Instrumentation in Earthquake Seismology by
bigCover of the book Creativity and Giftedness by
bigCover of the book Fracture, Fatigue, Failure, and Damage Evolution, Volume 5 by
bigCover of the book Intelligent Techniques in Engineering Management by
bigCover of the book Supporting University Ventures in Nanotechnology, Biomaterials and Magnetic Sensing Applications by
bigCover of the book Acquired Neuromuscular Disorders by
bigCover of the book Declarative Programming and Knowledge Management by
bigCover of the book Inflammation, Aging, and Oxidative Stress by
bigCover of the book Basic Naval Architecture by
bigCover of the book Global Business Value Innovations 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