AKTUELLE PARTNERANGEBOTE

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

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

Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of hardcover 1st ed. 2006, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 292, publicationDate : 2010-11-25, releaseDate : 2010-11-25, authors : Wojciech Penczek, ISBN : 3642069428

2 Angebote · ab 152,06 € 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, Band 20)