Program construction and verification /
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | Englisch |
Veröffentlicht: |
Englewood Cliffs, N.J. :
Prentice-Hall International,
c1986.
|
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Beschreibung: | xi, 281 p. : ill. |
---|---|
ISBN: | 0137291531 : 0137291469 (pbk.) |