
Formale Programmentwicklung mit dynamischer Logik
de Maritta Heisel · Publicada por primera vez en 1992
Materias
Ediciones (1)
- Formale Programmentwicklung mit dynamischer Logik (1992)
Deutscher Universitätsverlag · alemán

de Maritta Heisel · Publicada por primera vez en 1992
Deutscher Universitätsverlag · alemán
