MARC 닫기
00630nam ac200217 k 4500
000000235356
20220101120000
ta
010731s1995 US 000 eng
▼a 3540606300
▼a 211070
▼c 211070
▼l WM0003030512
▼v 1019
▼a QA75.5
▼a QA75.5
▼b L4
▼c 1019
▼a TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS/
▼d BRINKSMA,E;
▼e CLEAVELAND,W R;
▼e LARSEN,K G
▼a BERLIN:
▼b SPRINGER-VERLAG,
▼c 1995.
▼a 289p.
▼a LECTURE NOTES IN COMPUTER SCIENCE 1019
▼a BRINKSMA,E
▼a CLEAVELAND,W R
▼a LARSEN,K G
▼a 단행본
| 자료유형 : | 단행본 |
|---|---|
| ISBN : | 3540606300 |
| 분류기호 : | QA75.5 |
| 서명/저자사항 : | TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS/ BRINKSMA,E; CLEAVELAND,W R; LARSEN,K G |
| 발행사항 : | BERLIN: SPRINGER-VERLAG, 1995. |
| 형태사항 : | 289p. |
| 총서사항 : | LECTURE NOTES IN COMPUTER SCIENCE 1019 |
| 개인저자 : | BRINKSMA,E |
| 개인저자 : | CLEAVELAND,W R |
| 개인저자 : | LARSEN,K G |
| 언어 | 영어 |
서평쓰기