Computer Aided Verification
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Gerard Berry
Themen in »Computer Aided Verification«
Automat automata model checking proving theorem proving verification
Stimmen zu »Computer Aided Verification«
Details
ISBN: 9783540445852
Verlag: Springer Berlin
Erscheinung: 15.05.2003