Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981
[Workshop on Program Specification]. Ed. by J. Staunstrup
| Year of publication: |
1982
|
|---|---|
| Other Persons: | Staunstrup, Jørgen (contributor) |
| Institutions: | Workshop on Program Specification <1981, Århus> (contributor) |
| Publisher: |
Berlin [u.a.] : Springer |
| Subject: | Programmierung |
| Extent: | IV, 426 S. |
|---|---|
| Series: | Lecture notes in computer science. - Berlin ; Heidelberg [u.a.] : Springer, ISSN 0302-9743. - Vol. 134 |
| Type of publication: | Book / Working Paper |
| Type of publication (narrower categories): | Konferenzschrift |
| Language: | English |
| ISBN: | 3-540-11490-4 ; 0-387-11490-4 |
| Source: |
Persistent link: https://www.econbiz.de/10004665601