SPESY : e. interaktives System zur Unterstützung integrierter Programm-Spezifikation u. -Verifikation
| Authors: | Sommer, Walter |
|---|---|
| Publisher: |
Kaiserslautern : Univ., Fachbereich Mathematik |
| Published items: |
2 hits in USB Köln Online Catalogue BWL
|
| Series: | Interner Bericht / Universität Kaiserslautern, Fachbereich Informatik. - Kaiserslautern. - Vol. 102 |
|---|---|
| Type of publication: | Book / Working Paper |
| Notes: | Erschienen: Bd. 1 - 2 |
| Source: |
Persistent link: https://www.econbiz.de/10004736996