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

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 - Lecture Notes in Computer Science

2007

Paperback (09 Oct 2007)

Save $4.10

  • RRP $62.44
  • $58.34
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Check stock

    Publisher's Synopsis

    These papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.

    Book information

    ISBN: 9783540755951
    Publisher: Springer Berlin Heidelberg
    Imprint: Springer
    Pub date:
    Edition: 2007
    DEWEY: 004.015113
    DEWEY edition: 22
    Language: English
    Number of pages: 566
    Weight: 884g
    Height: 234mm
    Width: 156mm
    Spine width: 30mm

    We recommend

    Add to basket

    $6.43off

    Add to basket

    $1.74off

    Add to basket

    $5.55off

    Add to basket
    Add to basket
    Add to basket

    $12.47off

    Add to basket

    $1.95off

    Add to basket