Mathematics of program construction: 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8 - 10, 2002; proceedings
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/35976 |
|---|---|
| ISBN: | 978-3-540-43857-1OPAC |
| Publisher: | Springer |
| Place of publication: | Berlin u.a. |
| Editor: | Eerke A. Boiten, Bernhard MöllerGND |
| Type: | Book |
| Language: | English |
| Year of first Publication: | 2002 |
| Release Date: | 2017/07/21 |
| Pagenumber: | X, 262 S. |
| Series: | Lecture Notes in Computer Science; 2386 |
| DOI: | https://doi.org/10.1007/3-540-45442-X |
| Institutes: | Fakultät für Angewandte Informatik |
| Fakultät für Angewandte Informatik / Institut für Informatik | |
| Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme |
