Cover Image
Saved in:

Mathematics of program construction : 375th anniversary of the Groningen University, international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings /

Bibliographic Details
Corporate Author: Conference on Mathematics of Program Construction
Other Authors: Van de Snepscheut, Jan L. A., 1953-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, c1989.
Series:Lecture notes in computer science ; 375
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 01247nam a22002891a 4500
001 74482
008 890525s1989 gw 101 0 eng
010 |a 89011561 
020 |a 0387513051 (u.S.) :  |c 32.00 
035 |a ocm19846167 
035 |9 00078907 
040 |a DLC  |c DLC 
049 |a PVUM  |o [39346005792207] 
050 0 |a QA76.6  |b .M366 1989 
099 1 |a QA76.6.M366 1989 
245 0 0 |a Mathematics of program construction :  |b 375th anniversary of the Groningen University, international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings /  |c J.L.A. van de Snepscheut (Ed.). 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c c1989. 
300 |a vi, 420 p. ;  |c 25 cm. 
440 0 |a Lecture notes in computer science ;  |v 375 
500 |a Papers presented at the Conference on Mathematics of Program Construction, held June 26-30, 1989, Groningen. 
504 |a Includes bibliographies and index. 
590 |a jl 
650 0 |a Electronic digital computers  |x Programming  |x Congresses. 
650 0 |a Computer science  |x Mathematics  |x Congresses. 
700 1 |a Van de Snepscheut, Jan L. A.,  |d 1953- 
711 2 |a Conference on Mathematics of Program Construction  |d (1989 :  |c Groningen, Netherlands) 
852 0 |b MAIN  |h QA76.6.M366 1989