Model checking software

Model checking software: proceedings

by Groce, Alex

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Model checking software : proceedings / 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 ; Alex Groce [und weitere] (eds.).

Edition Statements

  • Publication Date:2011.

Publication Statements

  • Publisher(s):Springer
  • Place of Publication:Heidelberg
  • Language:eng
  • Publication Date:2011.

The Physical Object

  • Description:Online-Ressource.

Edition Identifiers

Subjects

CORRECTNESS (THEORY OF PROGRAMMING) KORREKTHEIT (THEORIE DER PROGRAMMIERUNG) PROGRAMMES CORRECTS (THÉORIE DE LA PROG… VÉRIFICATION (GÉNIE LOGICIEL) VERIFICATION (SOFTWARE ENGINEERING) VERIFIKATION (SOFTWARE ENGINEERING)

Writers

Groce, Alex

More from this Series

  • Generative and Transformational Techniques in Software Engineering III

    2011.
    more →
    Generative and Transformational Techniques in Software Engineering III

  • Generative and Transformational Techniques in Software Engineering III

    2011.
    more →
    Generative and Transformational Techniques in Software Engineering III

  • Generative and transformational techniques in software engineering III

    cop. 2011.
    more →
    Generative and transformational techniques in software engineering III

  • Generative and transformational techniques in software engineering III

    2011
    more →
    Generative and transformational techniques in software engineering III

  • Generative and transformational techniques in software engineering III

    2011.
    more →
    Generative and transformational techniques in software engineering III

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

No downloadable files are registered for this work yet.