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 Theoretical Computer Science and General Issues

Tools and Algorithms for the Construction and Analysis of Systems Theoretical Computer Science and General Issues 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings - Lecture Notes in Computer Science

2010

Paperback (17 Mar 2010)

Save $52.77

  • RRP $110.74
  • $57.97
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Check stock

    Publisher's Synopsis

    Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

    Book information

    ISBN: 9783642120015
    Publisher: Springer Berlin Heidelberg
    Imprint: Springer
    Pub date:
    Edition: 2010
    Language: English
    Number of pages: 468
    Weight: 741g
    Height: 234mm
    Width: 155mm
    Spine width: 25mm

    We recommend

    Add to basket

    $11.93off

    Add to basket

    $6.36off

    Git Pocket Guide

    Richard E. Silverman...

    Paperback
    Published 09 Aug 2013

    Save $6.36

    • RRP $27.33
    • $20.97
    Add to basket
    Add to basket

    $2.89off

    Add to basket
    Add to basket
    Add to basket
    Add to basket

    $16.74off

    Add to basket

    $4.73off

    Add to basket