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

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : Proceedings - Lecture Notes in Computer Science

2007

Paperback (09 Mar 2007)

Save $5.04

  • RRP $124.90
  • $119.86
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Check stock

    Publisher's Synopsis

    Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems.

    Book information

    ISBN: 9783540712084
    Publisher: Springer Berlin Heidelberg
    Imprint: Springer
    Pub date:
    Edition: 2007
    DEWEY: 005.12
    DEWEY edition: 22
    Language: English
    Number of pages: 738
    Weight: 2320g
    Height: 229mm
    Width: 152mm
    Spine width: 38mm

    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