Formal methods, foundations and applications

Formal methods, foundations and applications

by

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Formal methods, foundations and applications / edited by Adenilso Simao, Carroll Morgan.

Edition Statements

  • Publication Date:2011.

Publication Statements

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

Notes

Revised conference papers.

The Physical Object

  • Description:1 volume ; : 24 cm.

Edition Identifiers

  • ISBN:9783642250316, 3642250319
  • oclc:ocn762993943
  • Dewey Decimal:005.131

Subjects

Conference papers and proceedings Formal methods (Computer science) Formal methods (Computer science) -- Co… Méthodes formelles (Informatique) -- Co…

Writers

Morgan, Carroll Simão, Adenilso

More from this Series

  • Software engineering techniques

    2011.
    more →
    Software engineering techniques

  • Autonomic and trusted computing

    2011.
    more →
    Autonomic and trusted computing

  • Computer safety, reliability, and security

    2011.
    more →
    Computer safety, reliability, and security

  • Formal methods and software engineering

    2011.
    more →
    Formal methods and software engineering

  • Agent-oriented software engineering XI

    2011.
    more →
    Agent-oriented software engineering XI

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