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 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Paperback (03 Apr 2015)

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

    Publisher's Synopsis

    Tools and Algorithms for the Construction and Analysis of Systems

    Book information

    ISBN: 9783662466827
    Publisher: Springer Nature B.V.
    Imprint: Springer Nature B.V.
    Pub date:
    Language: English
    Number of pages: 744
    Weight: 1025g
    Height: 234mm
    Width: 156mm

    We recommend

    $7.15off

    Add to basket
    Add to basket

    $4.12off

    Mapmatics

    Paulina RowiÔnska

    Hardback
    Published 27 Sep 2024

    Save $4.12

    • RRP $33.86
    • $29.74
    Add to basket

    $13.03off

    Add to basket

    $17.89off

    Add to basket

    $16.10off

    Add to basket

    $12.73off

    Add to basket

    $4.75off

    Add to basket
    Add to basket

    $23.67off

    Add to basket