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 Effectiveness of Time Investments in Education by
bigCover of the book Flora and Vegetation of the Czech Republic by
bigCover of the book Textbook of Pulmonary Rehabilitation by
bigCover of the book Safe and Sustainable Use of Arsenic-Contaminated Aquifers in the Gangetic Plain by
bigCover of the book Intelligent Computing Theories and Application by
bigCover of the book Families and Technology by
bigCover of the book Small Molecule Therapeutics for Schizophrenia by
bigCover of the book Diversity, Affect and Embodiment in Organizing by
bigCover of the book Biotechnological Applications of the Yeast Yarrowia lipolytica by
bigCover of the book Controversies in Vascular Neurosurgery by
bigCover of the book The Psychology of Buddhism in Conflict Studies by
bigCover of the book Pediatric Anesthesiology Review by
bigCover of the book Scalia’s Constitution by
bigCover of the book Next-Generation Therapies and Technologies for Immune-Mediated Inflammatory Diseases by
bigCover of the book The Amygdaloid Nuclear Complex 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