Zum Hauptinhalt springen
Umbreit Logo

Suchergebnisse für "Klaus Havelund/John Penix/Willem Visser"

Redaktionelle Inhalte

Keine redaktionellen Inhalte für "Klaus Havelund/John Penix/Willem Visser" gefunden.

Katalogsuche

Cover von SPIN Model Checking and Software Verification

SPIN Model Checking and Software Verification

7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1,2000 Proceedings, Lecture Notes in Computer Science 1885

Klaus Havelund/John Penix/Willem Visser

Springer Verlag GmbH

53,49 €

(inklusive MwSt.)

Lieferbar

Der Umbreit-Newsletter

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

Jetzt anmelden