Logics of programs and their applications proceedings, Poznan, August 23 - 29, 1980
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1983
|
| Schriftenreihe: | Lecture notes in computer science
148 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Beschreibung: | VI, 324 S. |
|---|---|
| ISBN: | 3540119817 0387119817 |