Zum Hauptinhalt springen
Umbreit Logo

Suchergebnisse für "Jost-Pieter Katoen"

Redaktionelle Inhalte

Keine redaktionellen Inhalte für "Jost-Pieter Katoen" gefunden.

Katalogsuche

Cover von Formal Methods for Real-Time and Probabilistic Systems

Formal Methods for Real-Time and Probabilistic Systems

5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28,1999, Proceedings, Lecture Notes in Computer Science 1601

Jost-Pieter Katoen

Springer Verlag GmbH

53,49 €

(inklusive MwSt.)

Lieferbar

Der Umbreit-Newsletter

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

Jetzt anmelden