| The Spine of Software - Designing Provably Correct Software |
| Theory and Practice |
| ISBN: |
|
| Ausgabe: |
1987 |
| Ausgabejahr: |
1987
|
| Autor(en): |
R.L. Baber
|
| Verlag: |
John Wiley & Sons |
| Publikationstyp: |
Buch |
| Publikationskategorie: |
1.2 1.2 Programmiertechnik |
| SSW-Nummer: |
0162 |
| Bibliothek: |
SSW-Bibliothek
|
| Standort: |
Chefzimmer |
| Stichwörter: |
|
| Kurzbeschreibung: |
|
|
|
