Logic based program synthesis and transformation: 10th international workshop ; selected papers
Berlin [u.a.]: Springer, 2001
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- VIII, 181 S. : graph. Darst
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Logic based program synthesis and transformation: 10th international workshop ; selected papers
|
---|---|
Verantwortlichkeitsangabe: | LOPSTR 2000, London, UK, July 24 - 28, 2000. Kung-Kiu Lau (ed.) |
Autor/in / Beteiligte Person: | Lau, Kung-Kiu |
Körperschaft: | LOPSTR |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 2001 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | VIII, 181 S. : graph. Darst |
ISBN: | 3540421270 brosch. : DM 70.00 |
Schlagwort: |
|
Sonstiges: |
|