Mathematics of program construction, 2. Oxford, U.K., June 29 - July 3, 1992: international conference ... ; proceedings
Berlin ; Heidelberg [u.a.]: Springer, 1993
Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
- VIII, 378 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Mathematics of program construction, 2. Oxford, U.K., June 29 - July 3, 1992: international conference ... ; proceedings
|
---|---|
Verwandtes Werk: | |
Veröffentlichung: | Berlin ; Heidelberg [u.a.]: Springer, 1993 |
Medientyp: | Konferenzschrift, Monographie, Teil eines Werkes |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | VIII, 378 S. : graph. Darst. |
ISBN: | 3540566252 (Berlin ...) : DM 72.00; 0387566252 (New York ...) |
Schlagwort: |
|
Sonstiges: |
|