| 000 | 00941camuuu200301 a 4500 | |
| 001 | 000000568112 | |
| 003 | OCoLC | |
| 005 | 19980901145619.0 | |
| 008 | 960311s1996 enka b 001 0 eng | |
| 010 | ▼a 96005720 | |
| 015 | ▼a GB96-35539 | |
| 019 | ▼a 34730365 | |
| 020 | ▼a 0471958352 (acid-free paper) | |
| 040 | ▼a DLC ▼c DLC ▼d UKM | |
| 049 | ▼l 121031157 ▼f 과학 ▼l 121035134 ▼f 과학 | |
| 050 | 0 0 | ▼a QA76.54 ▼b .F64 1996 |
| 082 | 0 0 | ▼a 005.2 ▼2 20 |
| 090 | ▼a 005.2 ▼b F723 | |
| 245 | 0 0 | ▼a Formal methods for real-time computing / ▼c edited by Constance Heitmeyer and Dino Mandrioli. |
| 260 | ▼a Chichester ; ▼a New York : ▼b John Wiley, ▼c c1996. | |
| 300 | ▼a xvii, 271 p. : ▼b ill. ; ▼c 24 cm. | |
| 440 | 0 | ▼a Trends in software ; ▼v 5. |
| 504 | ▼a Includes bibliographical references and index. | |
| 650 | 0 | ▼a Real-time data processing. |
| 653 | 0 | ▼a Software ▼a Engineering |
| 700 | 1 | ▼a Heitmeyer, Constance. |
| 700 | 1 | ▼a Mandrioli, Dino. |
Holdings Information
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Science & Engineering Library/Sci-Info(Stacks2)/ | Call Number 005.2 F723 | Accession No. 121031157 (2회 대출) | Availability Available | Due Date | Make a Reservation | Service |
| No. 2 | Location Science & Engineering Library/Sci-Info(Stacks2)/ | Call Number 005.2 F723 | Accession No. 121035134 (1회 대출) | Availability Available | Due Date | Make a Reservation | Service |
| No. 3 | Location Sejong Academic Information Center/Science & Technology/ | Call Number 004.33 F7232 | Accession No. 151033100 (4회 대출) | Availability Available | Due Date | Make a Reservation | Service |
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Science & Engineering Library/Sci-Info(Stacks2)/ | Call Number 005.2 F723 | Accession No. 121031157 (2회 대출) | Availability Available | Due Date | Make a Reservation | Service |
| No. 2 | Location Science & Engineering Library/Sci-Info(Stacks2)/ | Call Number 005.2 F723 | Accession No. 121035134 (1회 대출) | Availability Available | Due Date | Make a Reservation | Service |
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Sejong Academic Information Center/Science & Technology/ | Call Number 004.33 F7232 | Accession No. 151033100 (4회 대출) | Availability Available | Due Date | Make a Reservation | Service |