The Foundations of Program Verification | Autor, ISBN und Ausgabedetails
10/06/2026
Lesedauer: 2 min
Kompakte Infos zu The Foundations of Program Verification von Jacques Loeckx, Kurt Sieber, Ryan Stansifer: Thema, Ausgabe und bibliografische Daten. Praktisch, wenn du Titel prüfen oder Ausgaben vergleichen willst.
The Foundations of Program Verification | Autor, ISBN und Ausgabedetails
Mit The Foundations of Program Verification liegt ein Buch von Jacques Loeckx, Kurt Sieber, Ryan Stansifer vor, das der Kategorie Sachbuch zugeordnet wird und sich für alle eignet, die gezielt nach Literatur mit diesem Schwerpunkt suchen. Als Veröffentlichungsdatum ist 1987 hinterlegt; verlegt wurde der Titel von Vieweg+Teubner Verlag in Wiesbaden.
Relevante Merkmale auf einen Blick
Gerade wer nach Werken von Jacques Loeckx, Kurt Sieber, Ryan Stansifer sucht, sollte The Foundations of Program Verification näher betrachten. Mit Vieweg+Teubner Verlag in Wiesbaden ist die verlegerische Zuordnung der Ausgabe klar nachvollziehbar. Die Ausgabe ist in Deutsch verfügbar und damit gezielt für Leserinnen und Leser mit entsprechender Sprachpräferenz interessant. Das hinterlegte Publikationsdatum 1987 unterstützt dabei, The Foundations of Program Verification zeitlich korrekt zu klassifizieren. The Foundations of Program Verification spricht besonders Nutzer an, die sich für Bücher rund um Sachbuch interessieren.
Ausgabe, Identifikatoren und Referenzen
Sowohl die ISBN-10 3322967530 als auch die ISBN-13 9783322967534 erleichtern das Auffinden und Vergleichen dieser Ausgabe erheblich. Im Open-Library-Kontext ist das Werk über OL19851045W sowie die Editionszuordnungen OL27039647M referenzierbar. Die verlegerische und zeitliche Einordnung wird durch Vieweg+Teubner Verlag, Wiesbaden und 1987 präzise ergänzt.
Die zentralen Metadaten zu The Foundations of Program Verification
Primäre Kategorie: Sachbuch
Internationale Standardbuchnummer (ISBN-10): 3322967530
Internationale Standardbuchnummer (ISBN-13): 9783322967534
Ausgabeform: physical
Suchrelevante Merkmale dieser Ausgabe
Zusätzliche Präzision entsteht durch Identifikatoren wie 3322967530, 9783322967534 und OL19851045W, die die Ausgabe in verschiedenen Katalog- und Suchkontexten eindeutig referenzierbar machen.
FAQ zu The Foundations of Program Verification
Welche Verlagsangaben sind vorhanden?
Hinterlegt sind das Erscheinungsdatum 1987, der Verlag Vieweg+Teubner Verlag und der Verlagsort Wiesbaden.
Warum sind ISBN-10 und ISBN-13 relevant?
Mit 3322967530 und 9783322967534 lässt sich die Ausgabe in Katalogen, Shops und Bibliotheksdatenbanken zuverlässig zuordnen.
Wofür sind die Open-Library-IDs hilfreich?
Mit OL19851045W und OL27039647M lässt sich das Werk auch in externen bibliografischen Zusammenhängen besser verknüpfen.
Wie lässt sich The Foundations of Program Verification thematisch einordnen?
Die Ausgabe wird dem Bereich Sachbuch zugeordnet und ist damit für thematisch fokussierte Recherchen gut geeignet.
Krippenrede für die 70er Jahre - Buchbeschreibung, Ausstattung und ISBN Krippenrede für die 70er Jahre gehört zur Kategorie Sachbuch und stammt von Josef Reding - eine Kombinatio...
Kirchen und Kapellen in Rhön-Grabfeld - Details zu Inhalt, Autor und Veröffentlichung Kirchen und Kapellen in Rhön-Grabfeld gehört zur Kategorie Sachbuch und stammt von Heinrich...
Alles Wichtige zu Notitzbuch Mit Notitzbuch liegt ein Buch von Musold Minis vor, das der Kategorie Sachbuch zugeordnet wird und sich für alle eignet, die gezielt nach Literatur mit...
Climbing Rock Kalender 2020 - Details zu Inhalt, Autor und Veröffentlichung Climbing Rock Kalender 2020 ist ein Werk von Kletterfans Publishing, das innerhalb der Kategorie Sachbuc...
Alles Wichtige zu Blutdruck Tagebuch : Eintragbuch Für Die Täglichen Messwerte I Praktischer Vordruck I Motiv Blutdruck Tagebuch : Eintragbuch Für Die Täglichen Messwerte I Praktis...
Kalender 2020 Rentner Ich Habe Immer Recht von Robert Kalender - Informationen zur Ausgabe Mit Kalender 2020 Rentner Ich Habe Immer Recht liegt ein Buch von Robert Kalender vor, da...
Gans von Debbie Bolton - Informationen zur Ausgabe Wer nach einem Buch von Debbie Bolton aus dem Themenfeld Sachbuch sucht, findet mit Gans eine Ausgabe mit präziser inhaltlicher P...
Mit der Unschuld Eines Kühlschranks von Marco Fleghun - Informationen zur Ausgabe Mit der Unschuld Eines Kühlschranks gehört zur Kategorie Sachbuch und stammt von Marco Fleghun - e...
