Formal specification and software development
Year of publication: |
1982
|
---|---|
Other Persons: | Bjørner, Dines (contributor) |
Publisher: |
Englewood Cliff, NJ [u.a.] : Prentice-Hall Internat. |
Subject: | Softwareentwicklung | Softwarespezifikation |
-
Skroch, Oliver, (2009)
-
Informationssystementwicklung mit Applikationsplattformen
Sanche, Jacques, (1994)
-
Informationssystementwicklung mit Applikationsplattformen
Sanche, Jacques, (1994)
- More ...
-
The Vienna development method : the meta-language
Bjørner, Dines, (1978)
-
Bjørner, Dines, (1980)
- More ...