Book Search Results
Temporal Logic Of Programs by Fred Kröger
Find "Temporal Logic Of Programs" by Fred Kröger through these Search Results from the best data sources on the web and enjoy your read!
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 - Springer Berlin Heidelberg
- Publish Date: 1987 - 2011
- Publish Location: Berlin, Heidelberg
“Temporal Logic of Programs” Subjects and Themes:
- Subjects: ➤ Computer programming - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL34373011M - OL27091298M
- Online Computer Library Center (OCLC) ID: 840294780
- All ISBNs: 9783642715495 - 3642715516 - 9783642715518 - 3642715494
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Temporal Logic of Programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Temporal Logic of Programs
By Fred Kroger
“Temporal Logic of Programs” Metadata:
- Title: Temporal Logic of Programs
- Author: Fred Kroger
- Language: English
- Publisher: Island Press
- Publish Date: 1987
Edition Identifiers:
- The Open Library ID: OL50683808M
- All ISBNs: 9783642715501 - 3642715508
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.
3Temporal logic of programs
By Fred Kröger
“Temporal logic of programs” Metadata:
- Title: Temporal logic of programs
- Author: Fred Kröger
- Language: English
- Publisher: Springer-Verlag
- Publish Date: 1987
- Publish Location: Berlin - New York
“Temporal logic of programs” Subjects and Themes:
- Subjects: ➤ Electronic digital computers - Logic, Symbolic and mathematical - Programming - Symbolic and mathematical Logic - Computer programming
Edition Identifiers:
- The Open Library ID: OL22388726M
- 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.
4Temporal 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.
Buy “Temporal Logic Of Programs” online:
Shop for “Temporal Logic Of Programs” on popular online marketplaces.
- Ebay: New and used books.