Zum Hauptinhalt springen
Umbreit Logo

Suchergebnisse für "Bernhard Beckert/Reiner Hähnle/Peter H Schmitt"

Redaktionelle Inhalte

Keine redaktionellen Inhalte für "Bernhard Beckert/Reiner Hähnle/Peter H Schmitt" gefunden.

Katalogsuche

Cover von Verification of Object-Oriented Software

Verification of Object-Oriented Software

The KeY Approach - Lecture Notes in Artificial Intelligence 4334, Lecture Notes in Computer Science 4334 - Lecture Notes in Artificial Intelligence

Bernhard Beckert/Reiner Hähnle/Peter H Schmitt

Springer Verlag GmbH

106,99 €

(inklusive MwSt.)

Lieferbar

Der Umbreit-Newsletter

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

Jetzt anmelden