Hauptinhalt anzeigen

MOMENTAN AUSVERKAUFT

Temporal Logic of Programs von Fred Kröger (2011, Taschenbuch)

Über dieses Produkt

Über dieses Produkt

Produktinformation

Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.

Produktkennzeichnungen

ISBN-10
3642715516
ISBN-13
9783642715518
eBay Product ID (ePID)
165543416

Produkt Hauptmerkmale

Sprache
Englisch
Anzahl der Seiten
160 Seiten
Verlag
Springer Berlin Heidelberg, Springer Berlin
Publikationsname
Temporal Logic of Programs
Autor
Fred Kröger
Format
Taschenbuch
Erscheinungsjahr
2011

Zusätzliche Produkteigenschaften

Hörbuch
No
Inhaltsbeschreibung
Paperback
Item Length
24cm
Item Height
8mm
Item Width
17cm
Nummer Innerhalb der Serie
8
Item Weight
289g
Buchreihe
Monographs in Theoretical Computer Science. an Eatcs Series

Meistverkauft in Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Meistverkauft in Studium & Erwachsenenbildung

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)
4.3 von 5 Sternen in 4 Produktbewertungen
EUR 19,90 Neu
EUR 17,69 Gebraucht
Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)
4.5 von 5 Sternen in 2 Produktbewertungen
EUR 10,00 Neu
EUR 8,53 Gebraucht
Schlachtkreuzer der Royal Navy von Ingo Bauernfeind (2015, Taschenbuch)
Noch keine Bewertungen oder Rezensionen
EUR 8,90 Neu
EUR 8,46 Gebraucht

Hier sparen: Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Hier sparen: Studium & Erwachsenenbildung

Der Schlüssel zur Selbstbefreiung - Lebensphilosophie für ein glückliches u ...
EUR 74,00
Preistendenz: EUR 74,76
Volker Busch | Kopf hoch! | Buch | Deutsch (2024) | 352 S. | Droemer
EUR 20,00
Preistendenz: EUR 20,41
Disney Minnie Schleifen-Boutique Kindergartenfreundebuch9783833225161
EUR 9,99
Preistendenz: EUR 10,09
Einfaches Kassenbuch | Einnahmen und Ausgaben
EUR 4,99
Preistendenz: EUR 6,61
Die Bibel | Synodalübersetzung - Schlachter 2000. Russisch-Deutsch | Buch | 2008
EUR 29,95
Preistendenz: EUR 30,29
Im Grunde gut|Rutger Bregman|Broschiertes Buch|Deutsch
EUR 15,00
Preistendenz: EUR 15,15

Auch interessant

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Auch interessant