Suchergebnisse für "Daniel Kroening/Corina S Pasareanu"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Daniel Kroening/Corina S Pasareanu" gefunden.
Katalogsuche
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24,2015, Proceedings, Part II, Lecture Notes in Computer Science 9207 - Theoretical Computer Science and General Issues
Daniel Kroening/Corina S Pasareanu
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24,2015, Proceedings, Part I, Lecture Notes in Computer Science 9206 - Theoretical Computer Science and General Issues
Daniel Kroening/Corina S Pasareanu
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
