Zum Hauptinhalt springen
Umbreit Logo

Suchergebnisse für "Tayssir Touili/Byron Cook/Paul Jackson"

Redaktionelle Inhalte

Keine redaktionellen Inhalte für "Tayssir Touili/Byron Cook/Paul Jackson" gefunden.

Katalogsuche

Cover von Computer Aided Verification

Computer Aided Verification

22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19,2010, Proceedings, Lecture Notes in Computer Science 6174 - Theoretical Computer Science and General Issues

Tayssir Touili/Byron Cook/Paul Jackson

Springer Verlag GmbH

106,99 €

(inklusive MwSt.)

Lieferbar

Der Umbreit-Newsletter

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

Jetzt anmelden