Das Buch ist derzeit nicht auf Lager

Model checking nondeterministic and randomly timed systems

Autoren

Martin R. Neuhäußer

Parameter

Informatik & Programmierung

Buchkauf

Model checking nondeterministic and randomly timed systems, Martin R. Neuhäußer

Sprache
Erscheinungsdatum: 2010

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Keiner hat bisher bewertet.Abgeben

Ausgabe-DetailsFeedback senden