Clicky

Temporal Logic of Programs by Fred Kröger and similar books you'll love - Bookscovery

Home > Authors > Fred Kröger > Temporal Logic of Programs

Buy at: Bookshop.org Amazon

Temporal Logic of Programs

Fred Kröger

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.

Recent activity

Rate this book to see your activity here.

3 Books Similar to Temporal Logic of Programs by Fred Kröger

Bookscovery readers who liked Temporal Logic of Programs also like Einführung in die Informatik, Einführung in die Informatik and Temporal logic and state systems. How many of these have you read?

Einführung in die Informatik by Fred Kröger

Cover of Einführung in die Informatik
Buy this book at:
Bookshop.org Amazon

Einführung in die Informatik by Fred Kröger

Cover of Einführung in die Informatik
Buy this book at:
Bookshop.org Amazon

Temporal logic and state systems by Fred Kröger

Cover of Temporal logic and state systems
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Temporal Logic of Programs

Please sign in to leave a comment