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

Verified Software: Theories, Tools, Experiments Programming and Software Engineering

Verified Software: Theories, Tools, Experiments Programming and Software Engineering Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - Lecture Notes in Computer Science

2010 edition

Paperback (05 Aug 2010)

Save $18.33

  • RRP $73.28
  • $54.95
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Check stock

    Publisher's Synopsis

    Contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. This book features the papers that represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, and more.

    Book information

    ISBN: 9783642150562
    Publisher: Springer Berlin Heidelberg
    Imprint: Springer
    Pub date:
    Edition: 2010 edition
    Language: English
    Number of pages: 217
    Weight: 386g
    Height: 231mm
    Width: 155mm
    Spine width: 13mm

    We recommend

    $14.55off

    Add to basket

    $9.65off

    Add to basket

    $7.15off

    Add to basket

    $13.03off

    Add to basket

    $16.10off

    Add to basket

    $4.75off

    Add to basket

    $17.89off

    Add to basket

    $16.26off

    Learning DevSecOps

    Steve Suehring

    Paperback
    Published 24 May 2024

    Save $16.26

    • RRP $61.06
    • $44.80
    Add to basket

    $3.91off

    Add to basket