Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Thomas Ball
Themen in »Computer Aided Verification«
Automat automata computer logic model checking verification
Stimmen zu »Computer Aided Verification«
Details
ISBN: 9783540374114
Verlag: Springer Berlin
Erscheinung: 06.08.2006