cartcart

    Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Lecture Notes in Computer ... Notes in Computer Science, 4454, Band 4454)

     
    Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Lecture Notes in Computer ... Notes in Computer Science, 4454, Band 4454)

    Description

    Readers will find here a book that constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, held in Zurich, Switzerland in February 2007. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are devoted to the convergence of software proofing and testing and feature current research work that combines ideas from both sides to foster software quality.

    Product details

    EAN/ISBN:
    9783540737698
    Edition:
    2007
    Format:
    Illustriert
    Medium:
    Paperback
    Number of pages:
    232
    Publication date:
    2007-09-14
    Publisher:
    Springer
    EAN/ISBN:
    9783540737698
    Edition:
    2007
    Format:
    Illustriert
    Medium:
    Paperback
    Number of pages:
    232
    Publication date:
    2007-09-14
    Publisher:
    Springer

    Shipping

    laposte
    The edition supplied may vary.
    Currently sold out

    Recommended for you