Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Big bigCover of Integrated Formal Methods

More books from Springer International Publishing

bigCover of the book Ultrasonic Fluid Quantity Measurement in Dynamic Vehicular Applications by
bigCover of the book Bioarchaeology of Impairment and Disability by
bigCover of the book Device Physics, Modeling, Technology, and Analysis for Silicon MESFET by
bigCover of the book Designing Electronic Product Enclosures by
bigCover of the book Peptide and Protein Interaction with Membrane Systems by
bigCover of the book Fracture at all Scales by
bigCover of the book Trade Marks and Free Trade by
bigCover of the book Design Thinking Research by
bigCover of the book Interactive Theorem Proving by
bigCover of the book Molecular Response Functions for the Polarizable Continuum Model by
bigCover of the book Language Identification Using Excitation Source Features by
bigCover of the book Metaheuristics by
bigCover of the book Modelling and Simulation for Autonomous Systems by
bigCover of the book Violence in Nigeria by
bigCover of the book Mathematical Problem Solving 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