|
|
|
|
LEADER |
00907nam a2200217 a 4500 |
001 |
885755 |
005 |
20171111231327.0 |
008 |
980519s gr gr 00010 eng d |
020 |
|
|
|a 3540645918
|z (softcover : alk. paper)
|
050 |
1 |
4 |
|a QA76.6
|b .I5535 1998
|
082 |
0 |
|
|2 21
|a 004.2/1/0151
|
110 |
2 |
|
|a International Conference on the Mathematics of Program Construction
|d (4th
|
245 |
1 |
0 |
|a Mathematics of program construction :4th international conference, MPC ʹ98, Marstrand, Sweden, June 15-17, 1998 :proceedings /
|c Johan Jeuring, ed.
|
260 |
|
|
|a Berlin ;
|
260 |
|
|
|a New York :
|b Springer Verlag ,
|c c1998 .
|
300 |
|
|
|a x, 382 p. :
|b ill. ;
|c 24 cm.
|
504 |
|
|
|a Includes bibliographical references and index.
|
650 |
1 |
0 |
|a Computer programming
|x Congresses
|
650 |
1 |
0 |
|a Computer science
|x Mathematics
|
700 |
1 |
|
|a Jeuring, Johan
|x Congresses
|
952 |
|
|
|a GR-AtTEI
|b 59cc803b6c5ad13446fd7877
|c 998a
|d 945l
|e -
|t 1
|x m
|z Books
|