Cover Image

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Author: International Conference on the Mathematics of Program Construction Kloster Irsee, Germany
Other Authors: Möller, Bernhard, 1953-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [1995]
Series:Lecture notes in computer science ; 947.
Subjects:
Computer programming > Congresses.
Computer science > Mathematics > Congresses.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.6 .I5535 1995
 
Call Number Status Get It
QA76.6 .I5535 1995 Available