Tag Suche nach Logic programming

Formale Programmentwicklung mit dynamischer Logik: Inhalt, Einordnung und bibliografische Details Formale Programmentwicklung mit dynamischer Logik von Maritta Heisel ist ein Titel...

Was ist zu Maritta Heisel bekannt? Als externe Referenz ist die Open-Library-ID OL554243A hinterlegt. Profildaten im Überblick Zuletzt mit Open Library abgeglichen am: 2008-08-29 2...

Kurzprofil von Deutscher Universitätsverlag Deutscher Universitätsverlag ist hier als Verlag erfasst und kann zur Einordnung von Buchausgaben herangezogen werden. Gerade für einen...