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 |
Saved in:
Saved in favorites
Similar items by subject
-
Clark, P., (1987)
-
Softwareentwicklung : Leitfaden für Planung, Realisierung und Einführung von DV-Verfahren
End, Wolfgang, (1984)
-
Messung der Programmierer-Produktivität bei der Entwicklung betrieblicher Anwendungsprogrammsysteme
Wirtz, Klaus W., (1980)
- More ...