TY  - BOOK
AU  - Spies
TI  - Transformationsbasierte temporallogische Programmierung
PY  - 1996
PB  - Verlag Dr. Kovač
T3  - Forschungsergebnisse der Programmentwicklung
SN  - 978-3-86064-402-7
CY  - Hamburg
N1  - 236 Seiten
SP  - Fachbereich: Informatik
KW  - Temporallogik
KW  - Transformation
KW  - ExTeLL
KW  - Reduktion
KW  - Programmiersprache
KW  - Programmierung
KW  - Programmierlogik
KW  - Informatik
ER  -