Program construction and verification /
Tallennettuna:
Päätekijä: | |
---|---|
Aineistotyyppi: | Kirja |
Kieli: | englanti |
Julkaistu: |
Englewood Cliffs, N.J. :
Prentice-Hall International,
c1986.
|
Aiheet: | |
Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
Ulkoasu: | xi, 281 p. : ill. |
---|---|
ISBN: | 0137291531 : 0137291469 (pbk.) |