Κανονική προβολή Προβολή MARC Προβολή ISBD

Casimiro, Antonio

Architecting Dependable Systems VII [electronic resource] edited by Antonio Casimiro, RogΓ©rio Lemos, Cristina Gacek - Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 - v.: digital - Lecture Notes in Computer Science 6420 0302-9743 .

ISBN: 9783642172458

Subjects--Topical Terms:
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Programming Techniques
Logics and Meanings of Programs
Software Engineering/Programming and Operating Systems
Models and Principles