Explore: Sémantique Programme
Discover books, insights, and more — all in one place.
Learn more about Sémantique Programme with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “s%c3%a9mantique-programme”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Logics of Programs
By D. Kozen

“Logics of Programs” Metadata:
- Title: Logics of Programs
- Author: D. Kozen
- Language: English
- Number of Pages: Median: 489
- Publisher: Springer
- Publish Date: 1982 - 1984
“Logics of Programs” Subjects and Themes:
- Subjects: ➤ Sémantique programme - Vérification programme - Congrès - Programmation (Informatique) - Congresses - Logiciels - Logique temporelle - Computer programming - Logique programmation - Symbolic and mathematical Logic - Programmation logique
Edition Identifiers:
- The Open Library ID: OL27987078M - OL12771494M
- Library of Congress Control Number (LCCN): 82003219
- All ISBNs: 354011212X - 9783540112129 - 3540128964 - 9783540128960
Access and General Info:
- First Year Published: 1982
- 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 Logics of Programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.