The connection between applicative and procedural languages in an integrated software development and verification system
von Walter Olthoff
| Year of publication: |
1987
|
|---|---|
| Authors: | Olthoff, Walter |
| Subject: | Datenverarbeitung | Programmieren |
| Extent: | 247 S 8° |
|---|---|
| Type of publication: | Book / Working Paper |
| Type of publication (narrower categories): | Bericht ; Hochschulschrift |
| Language: | English |
| Thesis: | Kaiserslautern, Univ., Fachbereich Informatik, Diss., 1987 |
| Notes: | Mit e. dt. Zsfassung |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10000000232