Formale Programmentwicklung mit dynamischer Logik
Edición de la obra Formale Programmentwicklung mit dynamischer Logik
| Autor | Maritta Heisel |
|---|---|
| Editorial | Deutscher Universitätsverlag |
| Fecha de publicación | 1992 |
| Lugar | Wiesbaden |
| Idioma | alemán |
| Páginas | 288 |
| ISBN-10 | 3824420317 |
| LCCN | 93223728 |
| Número de Cutter | H473f |