HOME > Detail View

Detail View

Mathematical methods in program development

Mathematical methods in program development (Loan 1 times)

Material type
단행본
Personal Author
Broy, M., 1949-. Schieder, Birgit.
Title Statement
Mathematical methods in program development / edited by Manfred Broy, Birgit Schieder.
Publication, Distribution, etc
Berlin ;   New York :   Springer,   c1997.  
Physical Medium
viii, 528 p. ; 34 cm.
Series Statement
NATO ASI series. ;Series F,. Computer and systems sciences ; no. 158.
ISBN
354063195X (hardcover : alk. paper)
General Note
"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.  
Bibliography, Etc. Note
Includes bibliographical references.
Subject Added Entry-Topical Term
Computer programming. Computer software --Development --Mathematical methods.
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 C M

New Arrivals Books in Related Fields