Verification, Model Checking, and Abstract Interpretation
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Byron Cook
Themen in »Verification, Model Checking, and Abstract Interpretation«
Constraint Java abstarct interpretation abstract domains abstraction algorithms data structure data structures debugging techniques deductive methods formal verification optimization program invariants programming programming language
Stimmen zu »Verification, Model Checking, and Abstract Interpretation«
Details
ISBN: 9783540697350
Verlag: Springer Berlin
Erscheinung: 03.01.2007