The correctness problem in computer science
ed. by R. S. Boyer ...
| Year of publication: |
1981
|
|---|---|
| Other Persons: | Boyer, Robert S. (contributor) |
| Publisher: |
London [u.a.] : Acad. Press |
| Subject: | Programmverifikation | FORTRAN |
| Extent: | XIII, 279 S. : graph. Darst. |
|---|---|
| Series: | |
| Type of publication: | Book / Working Paper |
| Language: | English |
| ISBN: | 0-12-122920-3 |
| Source: |
Persistent link: https://ebvufind01.dmz1.zbw.eu/10004006612