Direkt zum Inhalt
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

AKTUELLE PARTNERANGEBOTE

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Binding : Gebundene Ausgabe, Edition : 2004, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Gebundene Ausgabe, numberOfPages : 602, publicationDate : 2003-10-16, authors : Klaus Schneider, languages : english, ISBN : 3540002960

1 Angebote · ab 53,49 € gemeldete Gesamtkosten