INGRAM

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint Confe

Name: Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint Confe
Brand: INGRAM
SKU: 9783319899596
Price: 59.99 USD
Availability: InStock

$59.99 USD

Sale Sold out

Title Paperback

Product variants

Quantity

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint Confe - Dirk Beyer

Item added to your cart

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint Confe

Country/region