Formal methods

Formal methods: proceedings

by Butler, Michael Schulte, Wolfram

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Formal methods : proceedings / FM 2011, 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011. Michael Butler ; Wolfram Schulte (ed.)

Edition Statements

  • Publication Date:2011

Publication Statements

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

Notes

Literaturangaben

The Physical Object

  • Description:XIV, 450 S. : graph. Darst. : 24 cm

Edition Identifiers

  • ISBN:9783642214363, 3642214363
  • oclc:ocn725166585
  • Dewey Decimal:005.131

Subjects

(Keywords)formal software testing (Keywords)formal verification (Keywords)model-based systems design (Keywords)safety-critical systems (Keywords)satisfiability (Keywords)systems validation (Keywords)Z specification language (Produktform)Paperback / softback (Zielgruppe)Research Formale Methode Konferenzschrift -- 2011 -- Limerick (S… Kongress -- Limerick <Shannon, 2011>

Writers

Butler, Michael Schulte, Wolfram

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.

Log in to request a copy