Constructing programs from specifications: proceedings of the IFIP TC2/WG 2.1 Working Conference on Construction Programs from Specifications, Pacific Grove, CA, USA, 13 - 16 May 1991
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/17336 |
|---|---|
| ISBN: | 0-444-89184-6OPAC |
| Publisher: | North-Holland |
| Place of publication: | Amsterdam u.a. |
| Editor: | Bernhard MöllerGND |
| Type: | Book |
| Language: | English |
| Year of first Publication: | 1991 |
| Release Date: | 2017/07/21 |
| Pagenumber: | X, 515 S. |
| 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 |
