Skip your Account's links

$ USD

Advanced search

0 items

$0.00
  • Your basket
  • The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.

  • View basket

  • Your basket is empty

  • Delivery included on your order!

  • View basket

Skip Navigation and go to main content

Delivery included to the United States

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1,

Paperback (26 Mar 2021) | German

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Check stock

    Other formats & editions

    New
    Paperback (23 Mar 2021) - 1st Edition 2021 RRP $47.84 $45.36
    Paperback (20 Mar 2021) - 1st Edition 2021 RRP $47.84 $45.45

    Publisher's Synopsis

    Tools and Algorithms for the Construction and Analysis of Systems

    Book information

    ISBN: 9783030720179
    Publisher: Springer Nature B.V.
    Imprint: Springer Nature B.V.
    Pub date:
    Language: German
    Number of pages: 496
    Weight: 689g
    Height: 234mm
    Width: 156mm

    We recommend

    $30.53off

    Add to basket

    $15.52off

    Add to basket

    $5.24off

    Add to basket

    $9.05off

    Add to basket

    $25.62off

    Add to basket

    $16.71off

    Add to basket

    $17.13off

    Platform Engineering

    Camille Fournier, Ia...

    Paperback
    Published 18 Oct 2024

    Save $17.13

    • RRP $65.61
    • $48.48
    Add to basket

    $4.08off

    Dream Machine

    Appupen, Laurent Dau...

    Paperback
    Published 01 Aug 2024

    Save $4.08

    • RRP $36.91
    • $32.83
    Add to basket

    $8.10off

    Add to basket
    Add to basket