Formale Programmentwicklung mit dynamischer Logik

Specificaties
Paperback, 288 blz. | Duits
Deutscher Universitätsverlag | 1992e druk, 1992
ISBN13: 9783824420315
Rubricering
Deutscher Universitätsverlag 1992e druk, 1992 9783824420315
Onderdeel van serie DUV: Datenverarbeitung
Verwachte levertijd ongeveer 9 werkdagen

Specificaties

ISBN13:9783824420315
Taal:Duits
Bindwijze:paperback
Aantal pagina's:288
Druk:1992

Rubrieken

    Personen

      Trefwoorden

        Formale Programmentwicklung mit dynamischer Logik