AKTUELLE PARTNERANGEBOTE

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)

Name: Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)
Brand: Wojciech Penczek
SKU: 8949344

Brand : Springer, Binding : Gebundene Ausgabe, Edition : 2006, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Gebundene Ausgabe, numberOfPages : 289, publicationDate : 2006-06-26, releaseDate : 2006-06-15, authors : Wojciech Penczek, Agata Pólrola, ISBN : 3540328696

1 Angebote · ab 159,34 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)