FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Jayadev Misra
Themen in »FM 2006: Formal Methods«
Refactoring Resolution algebraic methods algorithm formal methods formal specification formal testing formal verification java programming model checking modeling object-orientation program correctness programming language verification
Stimmen zu »FM 2006: Formal Methods«
Details
ISBN: 9783540372158
Verlag: Springer Berlin
Erscheinung: 10.08.2006