Softwareentwicklung mit Logik höherer Stufe
eine Anwendung von Theoriededuktion auf interaktives Beweisen
Edición de la obra Softwareentwicklung mit Logik höherer Stufe
| Autor | Franz Weber |
|---|---|
| Editorial | FZI |
| Fecha de publicación | 1993 |
| Lugar | Karlsruhe |
| Idioma | alemán |
| Páginas | 245 |
| OCLC | 46184088 |
| Serie | [STONE system documentation] |
| Número de Cutter | W373s |