Tools And Algorithms For The Construction And Analysis Of Systems Paperback

379,00 DKK
+ 88,99 DKK 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: 379,00 DKK
Sold by:
379,00 DKK
+ 88,99 DKK Shipping

Only 1 left in stock

We accept the following payment methods

Description

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2022 which was held during April 27 2022 in Munich Germany as part of the European Joint Conferences on Theory and Practice of Software ETAPS 2022.
  • Brand: Unbranded
  • Category: Computing & Internet
  • Format: Paperback
  • Language: English
  • Publication Date: 2022-03-30
  • Length: 493
  • Publisher / Label: Springer Nature Swit
  • Fruugo ID: 413633710-874147760
  • ISBN: 9783030995263

Delivery & Returns

Dispatched within 24 hours

  • STANDARD: 88,99 DKK - Delivery between Wed 01 October 2025–Tue 07 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