Ravn, Anders P
QRcode
자료유형 | 연간물 |
---|---|
서명/저자사항 | Formal techniques in real-time and fault-tolerant systems/ Anders P. Ravn, Han Rischel (Eds.). |
개인저자 | Ravn, Anders P. Rischel, Han |
발행사항 | Berlin New York: Springer Verlag, 1998 -. |
형태사항 | v.; 24cm. |
총서사항 | Lecture notes in computer science; 1486 |
ISBN | 3540650032 |
ISSN | 0302-9743 |
일반주제명 | Electronic commerce Computer science |
분류기호 | 566.0105 |
언어 | 영어 |
서평 (0 건)
*주제와 무관한 내용의 서평은 삭제될 수 있습니다.
서평추가