ShopSpell

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic [Paperback]

$130.99     $169.00   22% Off     (Free Shipping)
100 available
  • Category: Books (Mathematics)
  • Author:  Penczek, Wojciech, P?lrola, Agata
  • Author:  Penczek, Wojciech, P?lrola, Agata
  • ISBN-10:  3642069428
  • ISBN-10:  3642069428
  • ISBN-13:  9783642069420
  • ISBN-13:  9783642069420
  • Publisher:  Springer
  • Publisher:  Springer
  • Binding:  Paperback
  • Binding:  Paperback
  • Pub Date:  01-Feb-2010
  • Pub Date:  01-Feb-2010
  • SKU:  3642069428-11-SPRI
  • SKU:  3642069428-11-SPRI
  • Item ID: 105220340
  • List Price: $169.00
  • Seller: ShopSpell
  • Ships in: 5 business days
  • Transit time: Up to 5 business days
  • Delivery by: Dec 02 to Dec 04
  • Notes: Brand New Book. Order Now.
Add Review