Programmverifikation | Buchinfos, Beschreibung und ISBN

Programmverifikation im Überblick

Programmverifikation ist ein Werk von Ernst-Rüdiger Olderog, Krzysztof R. Apt, das innerhalb der Kategorie Sachbuch eingeordnet wird und bereits durch seine klare thematische Ausrichtung überzeugt. Der Untertitel Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch) ergänzt den Haupttitel Programmverifikation sinnvoll und gibt bereits früh einen konkreten Hinweis auf die inhaltliche Ausrichtung des Buches.

Was diese Ausgabe besonders interessant macht

Programmverifikation spricht besonders Nutzer an, die sich für Bücher rund um Sachbuch interessieren. Für Recherchen nach Veröffentlichungszeitraum ist Programmverifikation mit dem Datum 24.04.1996 eindeutig zuordenbar. Dass Programmverifikation in Deutsch erschienen ist, erleichtert die gezielte Auswahl für sprachspezifische Recherchen. Im Kontext des Gesamtwerks von Ernst-Rüdiger Olderog, Krzysztof R. Apt lässt sich Programmverifikation gezielt bibliografisch und thematisch einordnen.

Inhalte, Themen und Relevanz

Über die Schlagwörter Computers - General Information, Programming - General, Computer Architecture - General, Logic Design, Programmtransformation, Computers / Logic Design, Fairneßannahmen, Operationelle Semantik, Syntax-gerichtete Verifikationsregeln, partielle und totale Programmkorrektheit lässt sich Programmverifikation auch in größeren Beständen gezielt auffinden.

Wichtige Kennzeichen dieser Ausgabe

Für die eindeutige Identifikation der Ausgabe sind sowohl die ISBN-10 3540574794 als auch die ISBN-13 9783540574798 hinterlegt. Die hinterlegten Angaben zu Format, Gewicht und Größe - pocket, 14.9 ounces und 9.2 x 5.9 x 0.8 inches - helfen bei der genauen Ausgabezuordnung. Auch externe Referenzen sind vorhanden: Die Work-ID lautet OL21005222W, die zugehörigen Editions-IDs sind OL12776860M.

Wichtige Buchdaten im Überblick

1. Externe Editionsreferenzen: OL12776860M
2. Internationale Standardbuchnummer (ISBN-10): 3540574794
3. Externe Work-Referenz: OL21005222W
4. Ergänzender Titelzusatz: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch)
5. Schlagwörter: Computers - General Information, Programming - General, Computer Architecture - General, Logic Design, Programmtransformation, Computers / Logic Design, Fairneßannahmen, Operationelle Semantik, Syntax-gerichtete Verifikationsregeln, partielle und totale Programmkorrektheit
6. Publiziert bei: Springer
7. Abmessungen: 9.2 x 5.9 x 0.8 inches
8. Thematische Hauptkategorie: Sachbuch
9. Hinterlegtes Buchgewicht: 14.9 ounces
10. Autor beziehungsweise Autoren: Ernst-Rüdiger Olderog, Krzysztof R. Apt
11. Verfügbare Sprache dieser Ausgabe: Deutsch
12. ISBN-13: 9783540574798
13. Titel: Programmverifikation
14. Format: pocket
15. Veröffentlicht am: 24.04.1996

Relevanz für Suche und Einordnung

Die Verbindung aus Programmverifikation, Ernst-Rüdiger Olderog, Krzysztof R. Apt, Sachbuch und Computers - General Information, Programming - General, Computer Architecture - General, Logic Design, Programmtransformation, Computers / Logic Design, Fairneßannahmen, Operationelle Semantik, Syntax-gerichtete Verifikationsregeln, partielle und totale Programmkorrektheit schafft eine solide Grundlage für eine präzise thematische Suche. Mit ISBN-10, ISBN-13 und Work-ID - 3540574794, 9783540574798 und OL21005222W - lässt sich diese Ausgabe plattformübergreifend eindeutig verknüpfen.

Häufige Fragen zu Programmverifikation

Hier findest du weitere ausgewählte Links.