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

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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

More books from Springer International Publishing

bigCover of the book Autonomous Cyber Deception by

bigCover of the book Pattern Mining with Evolutionary Algorithms by

bigCover of the book Computer Safety, Reliability, and Security by

bigCover of the book Quantum Computational Number Theory by

bigCover of the book Football, Gambling, and Money Laundering by

bigCover of the book Sustainability Reporting in Central and Eastern European Companies by

bigCover of the book Understanding Problems of Practice by

bigCover of the book Organogenetic Gene Networks by

bigCover of the book Telemedicine for Children's Health by

bigCover of the book Trust and Trustworthy Computing by

bigCover of the book Recurrent Neural Networks for Short-Term Load Forecasting by

bigCover of the book Surgery of the Skull Base by

bigCover of the book Lean Management Beyond Manufacturing by

bigCover of the book Recent Advances on Soft Computing and Data Mining by

bigCover of the book Theory of Hematopoiesis Control 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