Das Buch ist derzeit nicht auf Lager

Verification of reactive systems

Formal Methods and Algorithms

Autoren

Klaus Schneider

Parameter

Kategorien

Informatik & Programmierung

Reihe: Texts in theoretical computer science

Buchkauf

Verification of reactive systems, Klaus Schneider

Sprache
Erscheinungsdatum: 2004

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Feedback senden