Temporal logic of programs - Info and Reading Options
By Fred Kröger

"Temporal logic of programs" was published by Springer-Verlag in 1987 - Berlin, it has 148 pages and the language of the book is English.
“Temporal logic of programs” Metadata:
- Title: Temporal logic of programs
- Author: Fred Kröger
- Language: English
- Number of Pages: 148
- Publisher: Springer-Verlag
- Publish Date: 1987
- Publish Location: Berlin
“Temporal logic of programs” Subjects and Themes:
- Subjects: ➤ Computer programming - Symbolic and mathematical Logic - Programozás - Logique symbolique et mathématique - Programm - Temporale Logik - Matematikai logika - Ordinateurs - Logica e semantica de programacao - Formális logika
Edition Specifications:
- Pagination: viii, 148 p. ;
Edition Identifiers:
- The Open Library ID: OL2736862M - OL5277340W
- Online Computer Library Center (OCLC) ID: 14965599
- Library of Congress Control Number (LCCN): 86031336
- ISBN-10: 0387170308
- All ISBNs: 0387170308
AI-generated Review of “Temporal logic of programs”:
Read “Temporal logic of programs”:
Read “Temporal logic of programs” by choosing from the options below.
Search for “Temporal logic of programs” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Temporal logic of programs” in Libraries Near You:
Read or borrow “Temporal logic of programs” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Temporal logic of programs” at a library near you.
Buy “Temporal logic of programs” online:
Shop for “Temporal logic of programs” on popular online marketplaces.
- Ebay: New and used books.