Program construction and verification /

Sparad:
Bibliografiska uppgifter
Huvudupphovsman: Backhouse, Roland C., 1948-
Materialtyp: Bok
Språk:engelska
Publicerad: Englewood Cliffs, N.J. : Prentice-Hall International, c1986.
Ämnen:
Computer programming
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!
Beskrivning
Fysisk beskrivning:xi, 281 p. : ill.
ISBN:0137291531 :
0137291469 (pbk.)

Liknande verk