Algebraic implementations in an integrated software development and verification system
von Christoph Beierle
| Year of publication: |
1985
|
|---|---|
| Authors: | Beierle, Christoph |
| Subject: | Datenverarbeitung | Programmieren | Softwareentwicklung | Software development |
| Extent: | V, 351 S graph. Darst 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/10000092421