Mathematics of program construction - 6th international conference, MPC 2002, Dagstuhl Castle, Germany, Julu 8-10, 2002 : proceedings
- Författare
- International Conference on the Mathematics of Program Construction 2002) Dagstuhl :
- (Eerke A. Boiten, Bernhard Möller (eds.).)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2002 | Tyskland, Berlin | x, 262 sidor. ill. | |
| Springer Berlin Heidelberg | 2000 | Utgivningsland okänt / Ej specificerat | ||
| Springer Berlin Heidelberg | 1995 | Utgivningsland okänt / Ej specificerat | ||
| Springer-Vlg | cop. 1993 | Tyskland, Berlin, New York | 378 sidor. | |