Explore: Formális Logika
Discover books, insights, and more — all in one place.
Learn more about Formális Logika with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “form%C3%A1lis-logika”:
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.
2Computer science logic
By Egon Borger, G. Jager and H. Kleine Buning
“Computer science logic” Metadata:
- Title: Computer science logic
- Authors: Egon BorgerG. JagerH. Kleine Buning
- Language: English
- Number of Pages: Median: 428
- Publisher: Springer
- Publish Date: 1992
“Computer science logic” Subjects and Themes:
- Subjects: ➤ Congresses - Informatik - Symbolic and mathematical Logic - Computer science - Logik - Mathematics - Matematikai logika - Konferencia - Formális logika - Informatique - Congrès - Mathématiques - Logique symbolique et mathématique - Logica E Semantica De Programacao - Computer logic
- Places: Bern <1991>
Edition Identifiers:
- The Open Library ID: OL10153914M
- Online Computer Library Center (OCLC) ID: 26216722
- Library of Congress Control Number (LCCN): 92023683
- All ISBNs: 9780387557892 - 038755789X
Access and General Info:
- First Year Published: 1992
- 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 Computer science logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.