Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17-21, 1995 Proceedings /
Saved in:
Meeting name: | MPC '95 (1995 : Kloster Irsee) |
---|---|
Imprint: | Berlin, Heidelberg : Springer-Verlag, 1995. |
Description: | 1 online resource : v.: digital. |
Language: | English |
Series: | Lecture Notes in Computer Science, 0302-9743 ; 947 Lecture notes in computer science ; 947. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11077979 |