Direkt zum Inhalt
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651)

AKTUELLE PARTNERANGEBOTE

Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651)

Brand : Springer, Binding : Taschenbuch, Edition : 1992, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 180, publicationDate : 2008-06-13, authors : Ron Koymans, ISBN : 3540562834

1 Angebote · ab 53,49 € gemeldete Gesamtkosten