Temporal Logic of Programs

Fred Kröger

ISBN 10: 3642715516 / ISBN 13: 9783642715518

Published by Springer, Springer Nov 2011, 2011

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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, andproof theory; - Representation of programs and their proper-ties within the language of temporal logic; - Application ofthe logical apparatus to the verification of program proper-ties including a new embedding of Hoare's logic into thetemporal framework. 160 pp. Englisch.

Seller Inventory # 9783642715518

Bibliographic Details

• Title: Temporal Logic of Programs
• Publisher: Springer, Springer Nov 2011
• Publication Date: 2011
• Language: English
• ISBN 10: 3642715516
• ISBN 13: 9783642715518
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 244W x 170H x 9D millimeters 244 millimeters width by 170 millimeters height by 9 millimeters depth
• Weight: 289 grams

About this title

Synopsis

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.