Program construction and verification /
Saved in:
Hovedforfatter: | |
---|---|
Format: | Bog |
Sprog: | engelsk |
Udgivet: |
Englewood Cliffs, N.J. :
Prentice-Hall International,
c1986.
|
Fag: | |
Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Fysisk beskrivelse: | xi, 281 p. : ill. |
---|---|
ISBN: | 0137291531 : 0137291469 (pbk.) |