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 Mathematical Problems in Data Science by
bigCover of the book Targeted Drug Delivery : Concepts and Design by
bigCover of the book Marine Fog: Challenges and Advancements in Observations, Modeling, and Forecasting by
bigCover of the book Information Security by
bigCover of the book Optimization and Decision Support Systems for Supply Chains by
bigCover of the book Single-Molecule Fluorescence Spectroscopy of the Folding of a Repeat Protein by
bigCover of the book An Illustrated History of Health and Fitness, from Pre-History to our Post-Modern World by
bigCover of the book Stages of Corporate Social Responsibility by
bigCover of the book Introduction to Translational Cardiovascular Research by
bigCover of the book Informing Clinical Practice in Nephrology by
bigCover of the book Dimension Theory of Hyperbolic Flows by
bigCover of the book Psychology of Retention by
bigCover of the book Fermi Surface and Quantum Critical Phenomena of High-Temperature Superconductors by
bigCover of the book Shiga toxins by
bigCover of the book Glass-Ionomers in Dentistry 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