Auf ein Miniaturbild klicken, um zu Google Books zu gelangen.
Lädt ... Temporal Logic of Programs (E a T C S Monographs on Theoretical Computer Science)von Fred Kröger
Keine Lädt ...
Melde dich bei LibraryThing an um herauszufinden, ob du dieses Buch mögen würdest. Keine aktuelle Diskussion zu diesem Buch. Keine Rezensionen keine Rezensionen | Rezension hinzufügen
Gehört zur Reihe
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. Keine Bibliotheksbeschreibungen gefunden. |
Aktuelle DiskussionenKeine
Google Books — Lädt ... GenresMelvil Decimal System (DDC)005.13Information Computer Science; Knowledge and Systems Computer programming, programs, data, security Programming LanguagesKlassifikation der Library of Congress [LCC] (USA)BewertungDurchschnitt: Keine Bewertungen.Bist das du?Werde ein LibraryThing-Autor. |