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.

Topic Search

Search for any topic

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

Book's cover

“Categories, types, and structures” Metadata:

  • Title: ➤  Categories, types, and structures
  • Author:
  • Language: English
  • Number of Pages: Median: 306
  • Publisher: MIT Press
  • Publish Date:
  • Publish Location: Cambridge, Mass

“Categories, types, and structures” Subjects and Themes:

Edition Identifiers:

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:

Online Marketplaces

Find Categories, types, and structures at online marketplaces:


2Initial computability, algebraic specifications, and partial algebras

By

Book's cover

“Initial computability, algebraic specifications, and partial algebras” Metadata:

  • Title: ➤  Initial computability, algebraic specifications, and partial algebras
  • Author:
  • Language: English
  • Number of Pages: Median: 221
  • Publisher: ➤  Oxford University Press - Clarendon Press - de Gruyter GmbH, Walter - Akademie-Verlag
  • Publish Date:
  • Publish Location: ➤  Oxford - New York - Berlin - Oxford [England]

“Initial computability, algebraic specifications, and partial algebras” Subjects and Themes:

Edition Identifiers:

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:


    3Mathematical foundations of programming semantics

    By

    Book's cover

    “Mathematical foundations of programming semantics” Metadata:

    • Title: ➤  Mathematical foundations of programming semantics
    • Author:
    • Language: English
    • Number of Pages: Median: 395
    • Publisher: Springer-Verlag
    • Publish Date:
    • Publish Location: New York - Berlin

    “Mathematical foundations of programming semantics” Subjects and Themes:

    Edition Identifiers:

    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:


    4Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings

    By

    Book's cover

    “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:
    • Language: English
    • Number of Pages: Median: 420
    • Publisher: Springer-Verlag - Springer
    • Publish Date:
    • Publish Location: New York - Berlin

    “Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings” Subjects and Themes:

    Edition Identifiers:

    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:


      5Programmer avec Scheme

      By

      Book's cover

      “Programmer avec Scheme” Metadata:

      • Title: Programmer avec Scheme
      • Author:
      • Language: fre
      • Number of Pages: Median: 753
      • Publisher: ➤  International Thomson publishing France
      • Publish Date:

      “Programmer avec Scheme” Subjects and Themes:

      Edition Identifiers:

      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:


        6Logic of domains

        By

        Book's cover

        “Logic of domains” Metadata:

        • Title: Logic of domains
        • Author:
        • Language: English
        • Number of Pages: Median: 259
        • Publisher: Birkhauser
        • Publish Date:
        • Publish Location: Boston

        “Logic of domains” Subjects and Themes:

        Edition Identifiers:

        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:


        Top of Page