Band 8
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
17.11.2011
Verlag
Springer BerlinSeitenzahl
148
Maße (L/B/H)
24.4/17/0.9 cm
Gewicht
289 g
Auflage
Softcover reprint of the original 1st ed. 1987
Sprache
Englisch
ISBN
978-3-642-71551-8
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.
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.
Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung