Mathematics of program construction: 7th international conference ; proceedings
Berlin [u.a.]: Springer, 2004
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- X, 399 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Mathematics of program construction: 7th international conference ; proceedings
|
---|---|
Verantwortlichkeitsangabe: | MPC 2004, Stirling, Scotland, UK, July 12 - 14, 2004. Dexter Kozen (ed.) |
Autor/in / Beteiligte Person: | Kozen, Dexter (1951-) |
Körperschaft: | MPC |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 2004 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | X, 399 S. : graph. Darst. |
ISBN: | 3540223800 kart. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.) |
Schlagwort: |
|
Sonstiges: |
|