| 000 | 00979aamuuu200289 a 4500 | |
| 001 | 000000568346 | |
| 003 | OCoLC | |
| 005 | 19971006183816.0 | |
| 008 | 940601s1993 si a 001 0 eng d | |
| 010 | ▼a 94165678 | |
| 020 | ▼a 9810212275 | |
| 040 | ▼a OrBG ▼c DLC | |
| 042 | ▼a lccopycat | |
| 049 | ▼a ACSL ▼l 121031125 | |
| 050 | 0 0 | ▼a QA76.76.D47 ▼b C57 1993 |
| 082 | 0 0 | ▼a 005.1/2/01512 ▼2 20 |
| 090 | ▼a 005.12 ▼b C614a | |
| 100 | 1 | ▼a Classen, Ingo. |
| 245 | 1 0 | ▼a Algebraic specification techniques and tools for software development : ▼b the ACT approach / ▼c Ingo Claszen, Hartmut Ehrig, Dietmar Wolz. |
| 260 | ▼a Singapore ; ▼a River Edge, N.J. : ▼b World Scientific, ▼c c1993. | |
| 300 | ▼a xvi, 237 p. : ▼b ill. ; ▼c 23 cm. | |
| 440 | 0 | ▼a AMAST series in computing ; ▼v vol. 1 |
| 504 | ▼a Includes bibliographical references (p. 221-229) and index. | |
| 650 | 0 | ▼a Computer software ▼x Development. |
| 650 | 0 | ▼a Compilers (Computer programs). |
| 700 | 1 2 | ▼a Ehrig, Hartmut. |
| 700 | 1 2 | ▼a Wolz, Dietmar. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.12 C614a | 등록번호 121031125 (1회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |