Formal specification and software development
Dines Bjørner ...
| Year of publication: |
1982
|
|---|---|
| Other Persons: | Bjørner, Dines (contributor) |
| Publisher: |
Englewood Cliff, NJ [u.a.] : Prentice-Hall Internat. |
| Subject: | Softwareentwicklung | Softwarespezifikation |
| Extent: | X, 501 S. : graph. Darst. |
|---|---|
| Series: | |
| Type of publication: | Book / Working Paper |
| ISBN: | 0-13-329003-4 |
| Source: |
Persistent link: https://ebvufind01.dmz1.zbw.eu/10004050099