Wordt geladen…
Program construction and verification /
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Formaat: | Boek |
| Taal: | Engels |
| Gepubliceerd in: |
Englewood Cliffs, N.J. :
Prentice-Hall International,
c1986.
|
| Onderwerpen: | |
| Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|
| Fysieke beschrijving: | xi, 281 p. : ill. |
|---|---|
| ISBN: | 0137291531 : 0137291469 (pbk.) |