Explore: Logique Programmation
Discover books, insights, and more — all in one place.
Learn more about Logique Programmation with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “logique-programmation”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Automata, Languages and Programming
By Laurent Kott
“Automata, Languages and Programming” Metadata:
- Title: ➤ Automata, Languages and Programming
- Author: Laurent Kott
- Language: English
- Number of Pages: Median: 474
- Publisher: Springer-Verlag - Springer
- Publish Date: 1986
- Publish Location: New York - Berlin
“Automata, Languages and Programming” Subjects and Themes:
- Subjects: ➤ Machine theory - Programmation - Congrès - Langages formels - Automates mathématiques, Théorie des - Cryptologie - Computer programming - Processus communicant - Récursivité - Logique mathématique - Automates - Sémantique langage - Spécification programme - Programmation (Informatique) - Formal languages - Ordinateurs - Congresses - Logique programmation
Edition Identifiers:
- The Open Library ID: OL18434686M - OL12772306M - OL10152304M
- Online Computer Library Center (OCLC) ID: 13793499
- Library of Congress Control Number (LCCN): 86015466
- All ISBNs: 9780387167619 - 9783540167617 - 3540167617 - 0387167617
Access and General Info:
- First Year Published: 1986
- 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 Automata, Languages and Programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Logics 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.
3ESOP '88
By European Symposium on Programming (2nd 1988 Nancy, France)
“ESOP '88” Metadata:
- Title: ESOP '88
- Author: ➤ European Symposium on Programming (2nd 1988 Nancy, France)
- Language: English
- Number of Pages: Median: 379
- Publisher: Springer-Verlag
- Publish Date: 1988
- Publish Location: New York - Berlin
“ESOP '88” Subjects and Themes:
- Subjects: ➤ Computer programming - Congresses - Programming languages (Electronic computers) - Spécification langage - Programmation - Conception langage - Codage - Spécification algébrique - Developpement programme - Implémentation langage - Programme concurrent - Vérification programme - Programmation fonctionnelle - Environnement programmation - Développement logiciel - Logique programmation - Programmation (Informatique) - Langages de programmation - Programmeren (computers) - Congrès - Electronic books
Edition Identifiers:
- The Open Library ID: OL2529236M
- Online Computer Library Center (OCLC) ID: 17620650
- Library of Congress Control Number (LCCN): 88004633
- All ISBNs: 9780387190273 - 0387190279
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find ESOP '88 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Programs as data objects
By Neil D. Jones
“Programs as data objects” Metadata:
- Title: Programs as data objects
- Author: Neil D. Jones
- Language: English
- Number of Pages: Median: 340
- Publisher: Springer
- Publish Date: 1986
“Programs as data objects” Subjects and Themes:
- Subjects: ➤ Théorie langage - Structures de données (Informatique) - Génération code - Data structures (Computer science) - Transformation programme - Programmation assistée - Processeur - Congresses - Logiciels - Computer programs - Programm - Congrès - Logique programmation - Programming languages (Electronic computers) - Semantics - Computational complexity - Data structures (computer science)
- Places: Kopenhagen <1985>
Edition Identifiers:
- The Open Library ID: OL12772251M
- Library of Congress Control Number (LCCN): 86003925
- All ISBNs: 3540164464 - 9783540164463
Access and General Info:
- First Year Published: 1986
- 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 Programs as data objects at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.