An edition of Temporal Logic of Programs (1987)

Temporal Logic of Programs

by Fred Kröger

Locate

My Reading Lists:

Use this Work

Create a new list

Check nearby libraries

WorldCat

Buy this book

Last edited by ImportBot

April 21, 2025 | History

Edit

An edition of Temporal Logic of Programs (1987)

Temporal Logic of Programs

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.

Publish Date

1987

Publisher

Springer Berlin Heidelberg

Language

English

Check nearby libraries

WorldCat

Buy this book

Edition	Availability
1 Temporal Logic of Programs 2011, Springer in English 3642715516 9783642715518	zzzz Locate
2 Temporal Logic of Programs 1987, Springer Berlin Heidelberg electronic resource / in English 3642715494 9783642715495	aaaa Locate

Add another edition?

Book Details

Edition Notes

Published in: Berlin, Heidelberg
Series: EATCS Monographs on Theoretical Computer Science, 1431-2654 -- 8, EATCS monographs on theoretical computer science -- 8.

Classifications

Library of Congress: QA75.5-76.95

The Physical Object

Format: [electronic resource] /
Pagination: 1 online resource.

Edition Identifiers

Open Library: OL27091298M
ISBN 10: 3642715494
ISBN 13: 9783642715495
OCLC/WorldCat: 840294780

Work Identifiers

Work ID: OL19906200W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation

Temporal Logic of Programs

by Fred Kröger