
AKTUELLE PARTNERANGEBOTE
The Temporal Logic of Reactive and Concurrent Systems: Specification: 001
Binding : Gebundene Ausgabe, Edition : 1992, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 427, publicationDate : 1991-12-15, authors : Zohar Manna, Amir Pnueli, languages : english, ISBN : 0387976647
1 Angebote · ab 108,99 € gemeldete Gesamtkosten
