Program construction and verification /
Shranjeno v:
Glavni avtor: | |
---|---|
Format: | Knjiga |
Jezik: | angleščina |
Izdano: |
Englewood Cliffs, N.J. :
Prentice-Hall International,
c1986.
|
Teme: | |
Oznake: |
Označite
Brez oznak, prvi označite!
|
Fizični opis: | xi, 281 p. : ill. |
---|---|
ISBN: | 0137291531 : 0137291469 (pbk.) |