Reliable software technologies

Reliable software technologies

by Romanovsky, Alexander Vardanega, Tullio

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Reliable software technologies / Ada Europe 2011, 16th Ada Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20 - 24, 2011. Alexander Romanovsky ; Tullio Vardanega (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:XIII, 225 S. : graph. Darst. : 24 cm

Edition Identifiers

  • ISBN:9783642213373, 3642213375, 9783642213380, 3642213383
  • DOI:10.1007/978-3-642-21338-0
  • oclc:ocn725166492
  • Dewey Decimal:005.133

Subjects

(Keywords)Ada 2005 programming (Keywords)formal methods (Keywords)parallel programming (Keywords)real-time systems (Keywords)reliable systems (Keywords)safety-critical systems (Keywords)systems modeling (Produktform)Paperback / softback (Zielgruppe)Research Ada ADA Ada (Computer program language) Ada (Computer program language) -- Cong… Ada (Langage de programmation) -- Congr… Computer software -- Congresses. -- Rel… Computer software -- Reliability Conference papers and proceedings Echtzeitsystem Eingebettetes System Konferenzschrift -- 2011 -- Edinburgh

Writers

Romanovsky, Alexander Vardanega, Tullio

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.