Explore: Logique Programme
Discover books, insights, and more — all in one place.
Learn more about Logique Programme with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “logique-programme”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1First-Order Dynamic Logic
By D. Harel
“First-Order Dynamic Logic” Metadata:
- Title: First-Order Dynamic Logic
- Author: D. Harel
- Language: English
- Number of Pages: Median: 148
- Publisher: Springer
- Publish Date: 1979
“First-Order Dynamic Logic” Subjects and Themes:
- Subjects: ➤ Programmation - Mathematische Logik - Langage algébrique - Logique premier ordre - Logique programme - Computer programming - Programmierung - Logik - Logique symbolique et mathématique - Sémantique langage - Symbolic and mathematical Logic - Analyse programme - Programmation (Informatique) - Recursion theory - Ordinateurs - Récursivité, Théorie de la - Logique formelle - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL12771312M
- All ISBNs: 9783540092377 - 3540092374
Access and General Info:
- First Year Published: 1979
- 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 First-Order Dynamic Logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Logics of programs
By Rohit Parikh
“Logics of programs” Metadata:
- Title: Logics of programs
- Author: Rohit Parikh
- Language: English
- Number of Pages: Median: 424
- Publisher: Springer-Verlag
- Publish Date: 1985
- Publish Location: New York - Berlin
“Logics of programs” Subjects and Themes:
- Subjects: ➤ Congresses - Symbolic and mathematical Logic - Computer programs - Logique programme - Lambda calcul - Vérification programme - Spécification programme - Programmation en logique - Théorie type - Logique mathématique
Edition Identifiers:
- The Open Library ID: OL2531924M
- Online Computer Library Center (OCLC) ID: 12134885
- Library of Congress Control Number (LCCN): 85012573
- All ISBNs: 0387156488 - 9780387156484
Access and General Info:
- First Year Published: 1985
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logics of programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.