Andere Kunden interessierten sich auch für
![Formal Aspects of Component Software]( "Formal Aspects of Component Software")
Formal Aspects of Component Software37,99 €![Software Engineering and Formal Methods]( "Software Engineering and Formal Methods")
Software Engineering and Formal Methods37,99 €![Tools and Algorithms for the Construction and Analysis of Systems]( "Tools and Algorithms for the Construction and Analysis of Systems")
Tools and Algorithms for the Construction and Analysis of Systems38,99 €![Model-Based Testing of Reactive Systems]( "Model-Based Testing of Reactive Systems")
Model-Based Testing of Reactive Systems39,99 €![Verified Software: Theories, Tools, Experiments]( "Verified Software: Theories, Tools, Experiments")
Verified Software: Theories, Tools, Experiments77,99 €![Formal Techniques for Safety-Critical Systems]( "Formal Techniques for Safety-Critical Systems")
Formal Techniques for Safety-Critical Systems37,99 €![Fundamental Approaches to Software Engineering]( "Fundamental Approaches to Software Engineering")
Fundamental Approaches to Software Engineering37,99 €
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.