Integrated Formal Methods
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Fast track conference proceeding Unique visibility State-of-the-art research
Autor*in
Dominique Méry
Themen in »Integrated Formal Methods«
Java Simulation boogie2 embedded systems formal methods formal modeling model checking modeling programming semi-formal modeling software engineering software verification spec# structured design verification
Stimmen zu »Integrated Formal Methods«
Details
ISBN: 9783642162640
Verlag: Springer Berlin
Erscheinung: 06.10.2010