Temporal Logic of Programs
Häftad, Engelska, 2011
719 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2011-11-17
- Mått170 x 244 x 9 mm
- Vikt289 g
- FormatHäftad
- SpråkEngelska
- SerieMonographs in Theoretical Computer Science. An EATCS Series
- Antal sidor148
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783642715518