Studies in automatic programming logic
Zohar Manna ; Richard Waldinger
| Year of publication: |
1977
|
|---|---|
| Other Persons: | Manna, Zohar (contributor) ; Waldinger, Richard (contributor) |
| Publisher: |
New York [u.a.] : North-Holland |
| Subject: | Programmsynthese | Programmverifikation |
| Extent: | VIII, 192 S. |
|---|---|
| Series: | Elsevier computer science library / Artificial intelligence series. - New York [u.a.] : American Elsevier Publ. Co.. - Vol. [4] |
| Type of publication: | Book / Working Paper |
| Language: | English |
| ISBN: | 0-444-00224-3 ; 0-444-00225-1 |
| Source: |
Persistent link: https://www.econbiz.de/10004613949