The spine of software: designing provably correct software: theory and practice, or, a mathemat. introd. to the semantics of computer programs
Chichester [u.a.]: Wiley, 1987
Monographie, Gedruckte Ressource
- XI, 316 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
The spine of software: designing provably correct software: theory and practice, or, a mathemat. introd. to the semantics of computer programs
|
---|---|
Verantwortlichkeitsangabe: | Robert Laurence Baber |
Autor/in / Beteiligte Person: | Baber, Robert Laurence |
Veröffentlichung: | Chichester [u.a.]: Wiley, 1987 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XI, 316 S. : graph. Darst. |
ISBN: | 0471914746 : £ 25.50 |
Schlagwort: |
|
Sonstiges: |
|