Logic based program synthesis and transformation 10th international workshop, LOPSTR 2000, London, UK, July 24 - 28, 2000 ; selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2001
|
| Schriftenreihe: | Lecture notes in computer science
2042 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Beschreibung: | VIII, 181 S. graph. Darst. |
|---|---|
| ISBN: | 3540421270 |