Program construction and verification /
Enregistré dans:
Auteur principal: | |
---|---|
Format: | Livre |
Langue: | anglais |
Publié: |
Englewood Cliffs, N.J. :
Prentice-Hall International,
c1986.
|
Sujets: | |
Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Description matérielle: | xi, 281 p. : ill. |
---|---|
ISBN: | 0137291531 : 0137291469 (pbk.) |