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 Handbook of Climate Change Communication: Vol. 2 by
bigCover of the book Nanomaterials Preparation by Thermolysis of Metal Chelates by
bigCover of the book Combinatorial Algorithms by
bigCover of the book The Economics of Emergency Food Aid Provision by
bigCover of the book Cecil B. DeMille, Classical Hollywood, and Modern American Mass Culture by
bigCover of the book Bayesian Statistics in Action by
bigCover of the book The Impact of Service Oriented Architecture Adoption on Organizations by
bigCover of the book Estimation and Testing Under Sparsity by
bigCover of the book Emerging Resistive Switching Memories by
bigCover of the book The Sense of Things by
bigCover of the book Compressed Sensing and Its Applications by
bigCover of the book High-Performance AD and DA Converters, IC Design in Scaled Technologies, and Time-Domain Signal Processing by
bigCover of the book Design of Interpretable Fuzzy Systems by
bigCover of the book Service Life Prediction of Exterior Plastics by
bigCover of the book Agents and Multi-Agent Systems: Technologies and Applications 2018 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