Verification, Model Checking, and Abstract Interpretation
7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
E. Allen Emerson
Themen in »Verification, Model Checking, and Abstract Interpretation«
Factor Refactoring abstraction algorithms complexity design model checking program analysis program invariants program semantics program verification programming programming calculi structured analysis verification
Stimmen zu »Verification, Model Checking, and Abstract Interpretation«
Details
ISBN: 9783540311393
Verlag: Springer Berlin
Erscheinung: 19.12.2005