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

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 : Proceedings - Lecture Notes in Computer Science

2007

Paperback (03 Jan 2007)

Save $51.07

  • RRP $108.95
  • $57.88
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Check stock

    Publisher's Synopsis

    The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007.

    Book information

    ISBN: 9783540697350
    Publisher: Springer Berlin Heidelberg
    Imprint: Springer
    Pub date:
    Edition: 2007
    DEWEY: 005.14
    DEWEY edition: 22
    Language: English
    Number of pages: 394
    Weight: 629g
    Height: 234mm
    Width: 156mm
    Spine width: 21mm

    We recommend

    $15.92off

    Add to basket

    $8.38off

    Add to basket

    $0.73off

    Add to basket

    $13.33off

    Add to basket

    $16.46off

    Add to basket

    $4.86off

    Add to basket

    $19.32off

    Add to basket

    $17.48off

    Learning DevSecOps

    Steve Suehring

    Paperback
    Published 24 May 2024

    Save $17.48

    • RRP $62.44
    • $44.96
    Add to basket

    $72.89off

    Add to basket