01509nmm a22004095u 4500
0
0
lcc
0
0
DIGITAL
DIGITAL
COLDIG
2020-09-02
QA76.76.C66 R48 2008
BDIG00007381
2020-09-02 00:00:00
C : 1
http://dx.doi.org/10.1007/11786160
1.00
2020-09-02
LIE
SpringerLink
1a ed.
CNE
14750
14750
20200902230056.0
100301s2006 xx j eng d
9783540358336
QA76.76.C66
R48 2006
Reussner, Ralf H.
Architecting Systems with Trustworthy Components
[electronic resource] :
International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers /
edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski.
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2006.
v.: digital
Lecture Notes in Computer Science,
0302-9743 ;
3938
Computer science
Computer Communication Networks
Software engineering
Operating systems (Computers)
Logic design
Computer Science
Software Engineering
Computer Communication Networks
Programming Techniques
Operating Systems
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Stafford, Judith A.
Szyperski, Clemens A.
SpringerLink (Online service)
Springer eBooks
http://dx.doi.org/10.1007/11786160
lcc
LIE