Andere Kunden interessierten sich auch für
![Software Engineering and Formal Methods]( "Software Engineering and Formal Methods")
Software Engineering and Formal Methods37,99 €![Theory and Applications of Satisfiability Testing ¿ SAT 2017]( "Theory and Applications of Satisfiability Testing ¿ SAT 2017")
Theory and Applications of Satisfiability Testing ¿ SAT 201737,99 €![Computer Aided Verification]( "Computer Aided Verification")
Computer Aided Verification37,99 €![Interactive Theorem Proving]( "Interactive Theorem Proving")
Interactive Theorem Proving66,99 €![Formal Methods and Software Engineering]( "Formal Methods and Software Engineering")
Formal Methods and Software Engineering37,99 €![Verified Software. Theories, Tools, and Experiments]( "Verified Software. Theories, Tools, and Experiments")
Verified Software. Theories, Tools, and Experiments37,99 €![Principles of Security and Trust]( "Principles of Security and Trust")
Principles of Security and Trust37,99 €
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.
The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..
The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..