Zum Hauptinhalt springen
Umbreit Logo

Suchergebnisse für "Thomas Ball/Robert B Jones"

Redaktionelle Inhalte

Keine redaktionellen Inhalte für "Thomas Ball/Robert B Jones" gefunden.

Katalogsuche

Cover von Computer Aided Verification

Computer Aided Verification

18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20,2006, Proceedings, Lecture Notes in Computer Science 4144 - Theoretical Computer Science and General Issues

Thomas Ball/Robert B Jones

Springer Verlag GmbH

106,99 €

(inklusive MwSt.)

Lieferbar

Der Umbreit-Newsletter

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

Jetzt anmelden