Zum Hauptinhalt springen
Umbreit Logo

Suchergebnisse für "Byron Cook/Andreas Podelski"

Redaktionelle Inhalte

Keine redaktionellen Inhalte für "Byron Cook/Andreas Podelski" gefunden.

Katalogsuche

Cover von Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

8th International Conference, VMCAI 2007, Nice, France, January 14-16,2007, Proceedings, Lecture Notes in Computer Science 4349 - Theoretical Computer Science and General Issues

Byron Cook/Andreas Podelski

Springer Verlag GmbH

53,49 €

(inklusive MwSt.)

Lieferbar

Der Umbreit-Newsletter

Jetzt anmelden und immer über Angebote, Neuigkeiten und Aktionen informiert bleiben.

Jetzt anmelden