Andere Kunden interessierten sich auch für
![FM 2014: Formal Methods]( "FM 2014: Formal Methods")
FM 2014: Formal Methods75,99 €![Abstract State Machines, Alloy, B, TLA, VDM, and Z]( "Abstract State Machines, Alloy, B, TLA, VDM, and Z")
Abstract State Machines, Alloy, B, TLA, VDM, and Z37,99 €![Tests and Proofs]( "Tests and Proofs")
Tests and Proofs36,99 €![Model-Based Safety and Assessment]( "Model-Based Safety and Assessment")
Model-Based Safety and Assessment36,99 €![Verified Software: Theorie, Tools, Experiments]( "Verified Software: Theorie, Tools, Experiments")
Verified Software: Theorie, Tools, Experiments37,99 €![Automated Technology for Verification and Analysis]( "Automated Technology for Verification and Analysis")
Automated Technology for Verification and Analysis37,99 €![Software Engineering and Formal Methods]( "Software Engineering and Formal Methods")
Software Engineering and Formal Methods37,99 €
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.