| 000 | 01275camuuu200289 a 4500 | |
| 001 | 000001037745 | |
| 005 | 19990913170959.0 | |
| 008 | 970612s1997 gw b 000 0 eng | |
| 010 | ▼a 97022450 //r98 | |
| 020 | ▼a 354063195X (hardcover : alk. paper) | |
| 040 | ▼a DLC ▼c DLC ▼d OHX ▼d 244002 | |
| 049 | ▼l 151067949 | |
| 050 | 0 0 | ▼a QA76.6 ▼b .M3648 1997 |
| 082 | 0 0 | ▼a 005.1/01/51 ▼2 21 |
| 090 | ▼a 005.10151 ▼b M426 | |
| 245 | 0 0 | ▼a Mathematical methods in program development / ▼c edited by Manfred Broy, Birgit Schieder. |
| 260 | ▼a Berlin ; ▼a New York : ▼b Springer, ▼c c1997. | |
| 300 | ▼a viii, 528 p. ; ▼c 34 cm. | |
| 440 | 0 | ▼a NATO ASI series. ; ▼n Series F,. ▼p Computer and systems sciences ; ▼v no. 158. |
| 500 | ▼a "Proceedings of the NATO Advances Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30-August 11, 1996"--T.p. verso. | |
| 504 | ▼a Includes bibliographical references. | |
| 650 | 0 | ▼a Computer programming. |
| 650 | 0 | ▼a Computer software ▼x Development ▼x Mathematical methods. |
| 700 | 1 | ▼a Broy, M., ▼d 1949-. |
| 700 | 1 | ▼a Schieder, Birgit. |
| 711 | 2 | ▼a NATO Advances Study Institute on Mathematical Methods in Program Development ▼d (1996 : ▼c Marktoberdorf, Germany) |
| 938 | ▼a Otto Harrassowitz ▼b HARR ▼n har005007012 ▼c 188.00 DEM |
Holdings Information
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Sejong Academic Information Center/Science & Technology/ | Call Number 005.10151 M426 | Accession No. 151067949 | Availability Available | Due Date | Make a Reservation | Service |