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

Name: Studies in Computational Intelligence Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach, Book 20, (Paperback)
Brand: Wojciech Penczek
SKU: prod_72e81f6f69f93465d5d12edc
Price: 294.00 USD
Availability: InStock

Studies in Computational Intelligence Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach, Book 20, (Paperback) Author: Springer ISBN: 9783642069420 Format: Paperback Publication Date: 2010-11-25 Page Count: 257

Shipping & Returns

Price unavailable

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

$294.00

Price unavailable

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

$294.00