Shelfclass_id |
3.A |
Sortkey |
MPC |
Authors |
Editors: Roland Backhouse, José Nuno Oliveira |
Title |
MPC 2000: Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings |
Publisher |
Springer |
Year |
2000 |
Languages |
eng |
Isbn |
3540677275, 9783540677277 |
Series |
Lecture Notes in Computer Science |
Volume |
1837 |
Issn |
0302-9743 |
Description |
vii, 255 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/fy0816/00055631-d.html |