Shelfclass_id |
3.A |
Sortkey |
MPC |
Authors |
Editors: Richard S. Bird, C. Carroll Morgan, James C. P. Woodcock |
Title |
MPC 1992: Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings |
Publisher |
Springer-Verlag |
Year |
1993 |
Languages |
eng |
Isbn |
0387566252, 3540566252 |
Series |
Lecture Notes in Computer Science |
Volume |
669 |
Issn |
0302-9743 |
Description |
viii, 378 p. 24 cm |
Record date |
20110310 |
Location |
New York |
Keywords |
Computer programming, Computer science, Mathematics |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0815/93016952-d.html |