Tools And Algorithms For The Construction And Analysis Of Systems Paperback

649,00 kr
+ 88,99 kr Shipping

Tools And Algorithms For The Construction And Analysis Of Systems Paperback

  • Brand: Unbranded
  • product image
Tools And Algorithms For The Construction And Analysis Of Systems Paperback

Tools And Algorithms For The Construction And Analysis Of Systems Paperback

  • Brand: Unbranded
Price: 649,00 kr
Sold by:
649,00 kr
+ 88,99 kr Shipping

Only 1 left in stock

We accept the following payment methods

Description

This book is Open Access under a CC BY licence. This book LNCS 11429 is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2019 which took place in Prague Czech Republic in April 2019 held as part of the European Joint Conferences on Theory and Practice of Software ETAPS 2019. Its a special volume on the occasion of the 25 year anniversary of TACAS.
  • Brand: Unbranded
  • Category: Computing & Internet
  • Format: Paperback
  • Language: English
  • Publication Date: 2019-04-04
  • Length: 258
  • Publisher / Label: Springer Nature Swit
  • Fruugo ID: 413633609-874147658
  • ISBN: 9783030175016

Delivery & Returns

Dispatched within 24 hours

  • STANDARD: 88,99 kr - Delivery between Wed 01 October 2025–Fri 03 October 2025

Shipping from United Kingdom.

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items. View full return policy