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 The Multiple Ligament Injured Knee by
bigCover of the book Peri-Urban Areas and Food-Energy-Water Nexus by
bigCover of the book Numerical Methods and Modelling for Engineering by
bigCover of the book Global Co-Mentoring Networks in Higher Education by
bigCover of the book Teaching Professional Attitudes and Basic Clinical Skills to Medical Students by
bigCover of the book Nordic Consumer Culture by
bigCover of the book Metaheuristic Algorithms for Image Segmentation: Theory and Applications by
bigCover of the book Modeling of Carbon Nanotubes, Graphene and their Composites by
bigCover of the book Graph-Based Representation and Reasoning by
bigCover of the book High Performance Computing by
bigCover of the book Sea Ports and Sea Power by
bigCover of the book Structurally Unstable Quadratic Vector Fields of Codimension One by
bigCover of the book Alcohol and Aging by
bigCover of the book Rule of Law and Fundamental Rights by
bigCover of the book Preventing Mental Illness 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