| 000 | 01043namuu2200289 a 4500 | |
| 001 | 000045432222 | |
| 005 | 20080407161156 | |
| 008 | 080402s2006 caua b 001 0 eng d | |
| 020 | ▼a 159829010X (paper) | |
| 020 | ▼a 9781598290103 (paper) | |
| 040 | ▼a WSE ▼c WSE ▼d YDXCP ▼d EMU ▼d OUN ▼d 211009 | |
| 050 | 4 | ▼a QA267.5.T45 ▼b T48 2006x |
| 082 | 0 4 | ▼a 005.131 ▼2 22 |
| 090 | ▼a 005.131 ▼b T3962 | |
| 245 | 0 4 | ▼a The theory of timed I/O automata / ▼c Dilsun K. Kaynar and Nancy Lynch, Roberto Segala, Frits Vaandrager. |
| 250 | ▼a 1st ed. | |
| 260 | ▼a [San Rafael, Calif.] : ▼b Morgan & Claypool Publishers , ▼c c2006. | |
| 300 | ▼a xi, 101 p. : ▼b ill. ; ▼c 24 cm. | |
| 440 | 0 | ▼a Synthesis lectures on computer science ; ▼v #1 |
| 504 | ▼a Includes bibliographical references (p. 93-97) and index. | |
| 650 | 0 | ▼a Temporal automata. |
| 700 | 1 | ▼a Kaynar, Dilsun K. |
| 700 | 1 | ▼a Segala, Roberto , ▼d 1968- |
| 700 | 1 | ▼a Vaadrager, Frits. |
| 700 | 1 | ▼a Lynch, Nancy A. ▼q (Nancy Ann) , ▼d 1948- |
| 945 | ▼a KINS |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.131 T3962 | 등록번호 121167681 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |