Algebraic specifications in an integrated software development and verification system
Angelika Voß
| Year of publication: |
1985
|
|---|---|
| Authors: | Voß, Angelika |
| Subject: | Datenverarbeitung | Programmieren | Ökonometrie | Spezifikation | Softwareentwicklung | Software development |
| Extent: | VII, 394 S graph. Darst, Tab 8° |
|---|---|
| Type of publication: | Book / Working Paper |
| Type of publication (narrower categories): | Hochschulschrift ; Bericht |
| Language: | English |
| Thesis: | Kaiserslautern, Univ., Fachbereich Informatik, Diss. : 1985 |
| Notes: | Mit dt. Zsfassung |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10000534723