Del 20 - Studies in Computational Intelligence
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
Inbunden, Engelska, 2006
2 109 kr
Skickas inom 10-15 vardagar
Agata Pólrola – författare
Visar alla böcker från författaren Agata Pólrola.
2 produkter
2 produkter
- Del 20 - Studies in Computational Intelligence
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
Häftad, Engelska, 20102 109 kr
Skickas inom 10-15 vardagar