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 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Paperback (06 Apr 2019) | 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 (04 Apr 2019) RRP $61.51 $54.11

    Publisher's Synopsis

    Tools and Algorithms for the Construction and Analysis of Systems

    Book information

    ISBN: 9783030175030
    Publisher: Springer Nature B.V.
    Imprint: Springer Nature B.V.
    Pub date:
    Language: German
    Number of pages: 288
    Weight: 408g
    Height: 234mm
    Width: 156mm

    We recommend

    $11.23off

    Add to basket

    $7.21off

    Add to basket

    $9.42off

    Refactoring

    Martin Fowler

    Hardback
    Published 11 Jan 2019

    Save $9.42

    • RRP $66.98
    • $57.56
    Add to basket

    $5.34off

    Code

    Charles Petzold

    Paperback
    Published 24 Nov 2022

    Save $5.34

    • RRP $39.64
    • $34.30
    Add to basket
    Add to basket

    $4.10off

    Mapmatics

    Paulina RowiÔnska

    Hardback
    Published 27 Sep 2024

    Save $4.10

    • RRP $34.11
    • $30.01
    Add to basket

    $13.12off

    Add to basket

    $11.29off

    Programming

    Bjarne Stroustrup

    Paperback
    Published 09 Sep 2024

    Save $11.29

    • RRP $82.02
    • $70.73
    Add to basket

    $18.28off

    Add to basket

    $16.22off

    Add to basket