Formale Programmentwicklung mit dynamischer Logik | Buchdaten, Inhalt und Autor

Formale Programmentwicklung mit dynamischer Logik: Inhalt, Einordnung und bibliografische Details

Formale Programmentwicklung mit dynamischer Logik von Maritta Heisel ist ein Titel aus dem Bereich Sachbuch, der thematisch klar positioniert ist und für Leserinnen und Leser mit Interesse an diesem Fach- oder Themengebiet besonders relevant sein kann. Als Veröffentlichungsdatum ist 1992 hinterlegt; verlegt wurde der Titel von Deutscher Universitätsverlag in Wiesbaden.

Relevante Merkmale auf einen Blick

Für alle, die Bücher von Maritta Heisel recherchieren oder vergleichen, ist Formale Programmentwicklung mit dynamischer Logik eine relevante Ausgabe. Innerhalb von Sachbuch bietet Formale Programmentwicklung mit dynamischer Logik eine klar erkennbare thematische Zuordnung. Formale Programmentwicklung mit dynamischer Logik liegt in Deutsch vor, was für die inhaltliche Nutzung ebenso wichtig ist wie für die bibliografische Suche. Die Angaben zu Deutscher Universitätsverlag und Wiesbaden stärken die bibliografische Präzision des Eintrags. Mit dem Erscheinungszeitpunkt 1992 lässt sich Formale Programmentwicklung mit dynamischer Logik sauber in einen bibliografischen Kontext einordnen.

Inhalt und thematische Schwerpunkte

Für die thematische Suche und semantische Zuordnung sind insbesondere diese Tags relevant: Logic programming, Logic programming

Ausgabe, Identifikatoren und Referenzen

Die Ausgabe ist über den Verlag Deutscher Universitätsverlag, den Ort Wiesbaden und das Datum 1992 klar kontextualisiert. Für weiterführende bibliografische Verknüpfungen sind die Kennungen OL3389251W und OL1031165M besonders hilfreich.

Die zentralen Metadaten zu Formale Programmentwicklung mit dynamischer Logik

1. Titel: Formale Programmentwicklung mit dynamischer Logik
2. ISBN-10: 3824420317
3. Seitenzahl: 288
4. Verlagsort: Wiesbaden
5. Sprache: Deutsch
6. Erscheinungsdatum: 1992
7. Open-Library-Work-ID: OL3389251W
8. Open-Library-Editions-IDs: OL1031165M
9. Publiziert bei: Deutscher Universitätsverlag
10. Primäre Kategorie: Sachbuch
11. Schlagwörter: Logic programming, Logic programming
12. Verfasst von: Maritta Heisel

Suchrelevante Merkmale dieser Ausgabe

Die Verbindung aus Formale Programmentwicklung mit dynamischer Logik, Maritta Heisel, Sachbuch und Logic programming, Logic programming schafft eine solide Grundlage für eine präzise thematische Suche.

FAQ zu Formale Programmentwicklung mit dynamischer Logik

Hier findest du weitere ausgewählte Links.