Das Buch ist derzeit nicht auf Lager

Formal modeling and analysis of timed systems

Autoren

Jean-François Raskin

Parameter

Kategorien

Informatik & Programmierung

Reihe: Lecture notes in computer science

Buchkauf

Formal modeling and analysis of timed systems, Jean-François Raskin

Sprache
Erscheinungsdatum: 2007

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Deine Änderungsvorschläge