Explore: Sémantique Langage Programmation
Discover books, insights, and more — all in one place.
Learn more about Sémantique Langage Programmation with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “s%C3%A9mantique-langage-programmation”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Categories, types, and structures
By Andrea Asperti
“Categories, types, and structures” Metadata:
- Title: ➤ Categories, types, and structures
- Author: Andrea Asperti
- Language: English
- Number of Pages: Median: 306
- Publisher: MIT Press
- Publish Date: 1991
- Publish Location: Cambridge, Mass
- Dewey Decimal Classification: 005.13
- Library of Congress Classification: QA-0076.70000000.A76 1991
“Categories, types, and structures” Subjects and Themes:
- Subjects: ➤ Categories (Mathematics) - Programming languages (Electronic computers) - Categoriee n (wiskunde) - Kategorie (Mathematik) - Programmiersprache - Langages de programmation - Cate gories (Mathe matiques) - Type - Datenstruktur - Se mantique langage programmation - Categori as (Matema ticas) - The orie cate gorie - Langage programmation - Kategorientheorie - Cate gorie - Structure - Théorie catégorie - Catégories (mathématiques) - Sémantique langage programmation - Catégorie - Categorieën (wiskunde) - Categorías (Matemáticas) - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL2220345M
- Online Computer Library Center (OCLC) ID: 20755899
- Library of Congress Control Number (LCCN): 89049085
- All ISBNs: 9780262011259 - 0262011255
Book Classifications
- Dewey Decimal (DDC): ➤ ❛005.13❜.
- Library of Congress Classification (LCC): ➤ ❛QA-0076.70000000.A76 1991❜.
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
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:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Categories, types, and structures at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Initial computability, algebraic specifications, and partial algebras
By Horst Reichel
“Initial computability, algebraic specifications, and partial algebras” Metadata:
- Title: ➤ Initial computability, algebraic specifications, and partial algebras
- Author: Horst Reichel
- Language: English
- Number of Pages: Median: 221
- Publisher: ➤ Oxford University Press - Clarendon Press - de Gruyter GmbH, Walter - Akademie-Verlag
- Publish Date: 1987 - 1988 - 2022
- Publish Location: ➤ Oxford - New York - Berlin - Oxford [England]
- Dewey Decimal Classification: 512
- Library of Congress Classification: QA-0076.90000000.M35 R45 1987QA-0076.90000000.M35R45 1987QA-0076.90000000.M35 R45 1987b
“Initial computability, algebraic specifications, and partial algebras” Subjects and Themes:
- Subjects: ➤ Computer science - Data structures (Computer science) - Mathematics - Partial algebras - Programming languages (Electronic computers) - Semantics - Algèbre partielle - Sémantique langage programmation - Spécification algébrique - Structure donnée - Type abstrait - Informatique - Mathématiques - Langages de programmation - Sémantique - Computer science, mathematics - Computable functions
Edition Identifiers:
- The Open Library ID: OL2724294M - OL2128194M - OL37337455M - OL46061659M
- Online Computer Library Center (OCLC) ID: 13903964
- Library of Congress Control Number (LCCN): 88190202 - 86017952
- All ISBNs: ➤ 9783112573426 - 9783055000393 - 9780198538066 - 0198538065 - 9783112573419 - 3112573412 - 3055000390 - 3112573420
Book Classifications
- Dewey Decimal (DDC): ➤ ❛512❜.
- Library of Congress Classification (LCC): ➤ ❛QA-0076.90000000.M35 R45 1987❜, ❛QA-0076.90000000.M35R45 1987❜ & ❛QA-0076.90000000.M35 R45 1987b❜.
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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 Initial computability, algebraic specifications, and partial algebras at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings
By Kesav V. Nori
“Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings” Metadata:
- Title: ➤ Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings
- Author: Kesav V. Nori
- Language: English
- Number of Pages: Median: 420
- Publisher: Springer-Verlag - Springer
- Publish Date: 1990 - 1991
- Publish Location: New York - Berlin
- Dewey Decimal Classification:
- Library of Congress Classification: QA-0076.75100000.F68 1990
“Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings” Subjects and Themes:
- Subjects: ➤ Congresses - Computer science - Computer software - Algorithme géométrique - Informatique répartie - Sémantique langage programmation - Congrès - Automate - Langage formel - Informatique - Théorie programmation - Informatica - Concurrence - Programmatuurtechniek - Logiciels - Algorithme parallèle - Logique
Edition Identifiers:
- The Open Library ID: OL19018695M - OL10153383M
- Online Computer Library Center (OCLC) ID: 22917943
- All ISBNs: 9780387534879 - 0387534873
Book Classifications
- Library of Congress Classification (LCC): ➤ ❛QA-0076.75100000.F68 1990❜.
Access and General Info:
- First Year Published: 1990
- 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 Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Mathematical foundations of programming semantics
By Austin Melton
“Mathematical foundations of programming semantics” Metadata:
- Title: ➤ Mathematical foundations of programming semantics
- Author: Austin Melton
- Language: English
- Number of Pages: Median: 395
- Publisher: Springer-Verlag
- Publish Date: 1986
- Publish Location: New York - Berlin
- Dewey Decimal Classification: 005.131
- Library of Congress Classification: QA-0076.70000000.M38 1986
“Mathematical foundations of programming semantics” Subjects and Themes:
- Subjects: ➤ Congresses - Computer programming - Semantics - Programming languages (Electronic computers) - Wiskundige methoden - Programmation - Programmeren (computers) - Sémantique langage programmation - Congrès - Sémantique dénotationnelle - Langages de programmation - Semantiek - Programmation (Informatique) - Ordinateurs - ALGOL 60 - Sémantique
Edition Identifiers:
- The Open Library ID: OL2728132M
- Online Computer Library Center (OCLC) ID: 14705715
- Library of Congress Control Number (LCCN): 86022054
- All ISBNs: 9780387168166 - 0387168168
Book Classifications
- Dewey Decimal (DDC): ➤ ❛005.131❜.
- Library of Congress Classification (LCC): ➤ ❛QA-0076.70000000.M38 1986❜.
Access and General Info:
- First Year Published: 1986
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Mathematical foundations of programming semantics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Programmer avec Scheme
By Jacques Chazarain
“Programmer avec Scheme” Metadata:
- Title: Programmer avec Scheme
- Author: Jacques Chazarain
- Language: fre
- Number of Pages: Median: 753
- Publisher: ➤ International Thomson publishing France
- Publish Date: 1998
“Programmer avec Scheme” Subjects and Themes:
- Subjects: ➤ Scheme (langage de programmation) - Scheme - Lambda calcul - Programmation SCHEME - Sémantique langage programmation - Calcul propositionnel - Programmation fonctionnelle - Scheme (Langage de programmation) - Scheme (Programmiersprache)
Edition Identifiers:
- The Open Library ID: OL8942773M
- Online Computer Library Center (OCLC) ID: 35993695
- All ISBNs: 2841801314 - 9782841801312
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 Programmer avec Scheme at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Logic of domains
By Guo-Qiang Zhang
“Logic of domains” Metadata:
- Title: Logic of domains
- Author: Guo-Qiang Zhang
- Language: English
- Number of Pages: Median: 259
- Publisher: Birkhauser
- Publish Date: 1991
- Publish Location: Boston
- Dewey Decimal Classification: 005.13
- Library of Congress Classification: QA-0076.70000000.Z47 1991
“Logic of domains” Subjects and Themes:
- Subjects: ➤ Programming languages (Electronic computers) - Semantics - Symbolic and mathematical Logic - Logique symbolique - Logique symbolique et mathématique - Funktionale Semantik - Sémantique dénotationnelle - Sémantique langage programmation - Théorie domaine - Programmiersprache - Langages de programmation - Semantischer Bereich - Domaine SFP - Logique mathématique - Sémantique - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL1546213M
- Online Computer Library Center (OCLC) ID: 24068507
- Library of Congress Control Number (LCCN): 91025464
- All ISBNs: 081763570X - 9783764335700 - 376433570X - 9780817635701
Book Classifications
- Dewey Decimal (DDC): ➤ ❛005.13❜.
- Library of Congress Classification (LCC): ➤ ❛QA-0076.70000000.Z47 1991❜.
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic of domains at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.