Princeton University Library Catalog

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller, ed.

Author:
International Conference on the Mathematics of Program Construction (1995 : Kloster Irsee, Germany) [Browse]
Format:
Book
Language:
English
Published/​Created:
Berlin ; New York : Springer, c1995.
Description:
viii, 472 p. : ill. ; 24 cm.
Series:
Lecture notes in computer science ; 947 [More in this series]
Bibliographic references:
Includes bibliographical references.
Subject(s):
ISBN:
3540601171 (Berlin : softcover : acid-free paper)
LCCN:
95032984
OCLC:
32821138
Related name:
Other views:
Staff view