Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
[1989]
|
| Series: | Lecture notes in computer science ;
375. |
| Subjects: |
| Item Description: | Papers presented at the Conference on Mathematics of Program Construction. |
|---|---|
| Physical Description: | vi, 420 pages : illustrations ; 25 cm. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 0387513051 (U.S. : alk. paper) |