Explore: Type Abstrait
Discover books, insights, and more — all in one place.
Learn more about Type Abstrait with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “type-abstrait”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Elements of functional programming
By Chris Reade
“Elements of functional programming” Metadata:
- Title: ➤ Elements of functional programming
- Author: Chris Reade
- Language: English
- Number of Pages: Median: 600
- Publisher: Addison-Wesley
- Publish Date: 1989
- Publish Location: ➤ Reading, Mass - Wokingham, England
“Elements of functional programming” Subjects and Themes:
- Subjects: ➤ Lambda calcul - Interpréteur commande - Évaluation - Functional programming (Computer science) - Polymorphisme - Programmation fonctionnelle - Sémantique dénotationnelle - Type abstrait - Funktionale Programmierung - Programmation fonctionnelle (informatique) - Computer programming
Edition Identifiers:
- The Open Library ID: OL24669804M - OL24764238M
- Online Computer Library Center (OCLC) ID: 19124943
- Library of Congress Control Number (LCCN): 89000036
- All ISBNs: 0201129159 - 9780201129151
Access and General Info:
- First Year Published: 1989
- 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 Elements of functional programming 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]
“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
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.
3Mathematical methods of specification and synthesis of software systems '85
By W. Bibel
“Mathematical methods of specification and synthesis of software systems '85” Metadata:
- Title: ➤ Mathematical methods of specification and synthesis of software systems '85
- Author: W. Bibel
- Language: English
- Number of Pages: Median: 245
- Publisher: Springer
- Publish Date: 1986
- Publish Location: New York - Berlin
“Mathematical methods of specification and synthesis of software systems '85” Subjects and Themes:
- Subjects: ➤ Development - Congresses - Computer software - Conception logiciel - Informatique théorique - Inférence inductive - Théorie mathématique logiciel - Softwareentwicklung - Logiciels - Développement - Développement logiciel - Type abstrait - Génie logiciel - Computer programs - Computer programming - Symbolic and mathematical Logic - Universal Algebra
Edition Identifiers:
- The Open Library ID: OL2314714M
- Online Computer Library Center (OCLC) ID: 17384515 - 13876557
- Library of Congress Control Number (LCCN): 86195028
- All ISBNs: 9780387164441 - 0387164448
Author's Alternative Names:
"Wolfgang Bibel"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 methods of specification and synthesis of software systems '85 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.