Mathematics of program construction :4th international conference, MPC ʹ98, Marstrand, Sweden, June 15-17, 1998 :proceedings /

Corporate Author: International Conference on the Mathematics of Program Construction
Other Authors: Jeuring, Johan
Format: Book
Language:English
Published: Berlin ; Springer Verlag , c1998 .
New York :
Subjects:
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