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 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings - Lecture Notes in Computer Science

2008

Paperback (18 Mar 2008)

Save $46.79

  • RRP $106.18
  • $59.39
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Check stock

    Publisher's Synopsis

    This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.

    Book information

    ISBN: 9783540787990
    Publisher: Springer Berlin Heidelberg
    Imprint: Springer
    Pub date:
    Edition: 2008
    Language: English
    Number of pages: 520
    Weight: 819g
    Height: 234mm
    Width: 156mm
    Spine width: 27mm

    We recommend

    Add to basket

    $12.12off

    Add to basket

    $6.69off

    Git Pocket Guide

    Richard E. Silverman...

    Paperback
    Published 09 Aug 2013

    Save $6.69

    • RRP $27.75
    • $21.06
    Add to basket
    Add to basket

    $2.93off

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

    $17.60off

    Add to basket

    $4.80off

    Add to basket