Mathematics of Program Construction - 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
- Författare
- Portugal) MPC 2000 (2000 : Ponte do Lima MPC 2000
- (Edited by Roland Backhouse, Jose Nuno Oliveira.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg, Imprint: Springer | 2000 | Tyskland, Berlin, Heidelberg | 1 online resource (X, 262 sidor.) |