Workshop on Reliable Software : Bonn University, September 22 - 23, 1978
ed. by P. Raulefs
| Year of publication: |
1979
|
|---|---|
| Other Persons: | Raulefs, Peter (contributor) |
| Institutions: | Workshop on Reliable Software <1978, Bonn> |
| Publisher: |
München [u.a.] : Hanser |
| Subject: | Programmierverifikation | Kongress | Programmiersprache | Semantik |
| Extent: | 281 S. : graph. Darst. |
|---|---|
| Series: | Applied computer science : Berichte zur praktischen Informatik. - München [u.a.] : Hanser. - Vol. 14 Workshop und Treffen des German Chapter of the ACM. - München [u.a.] : Hanser. - Vol. 1978,2 |
| Type of publication: | Book / Working Paper |
| Type of publication (narrower categories): | Konferenzschrift |
| ISBN: | 3-446-12910-3 |
| Source: |
Persistent link: https://www.econbiz.de/10004000434