Explore: Programozás
Discover books, insights, and more — all in one place.
Learn more about Programozás with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “programoz%C3%A1s”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Temporal logic of programs
By Fred Kröger
“Temporal logic of programs” Metadata:
- Title: Temporal logic of programs
- Author: Fred Kröger
- Language: English
- Number of Pages: Median: 148
- Publisher: Springer-Verlag
- Publish Date: 1987
- Publish Location: New York - 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 Identifiers:
- The Open Library ID: OL2736862M
- Online Computer Library Center (OCLC) ID: 14965599
- Library of Congress Control Number (LCCN): 86031336
- All ISBNs: 9780387170305 - 0387170308
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Temporal logic of programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.