Explore: Spécification Programme

Discover books, insights, and more — all in one place.

Learn more about Spécification Programme with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “sp%C3%A9cification-programme”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Automata, Languages and Programming

By

Book's cover

“Automata, Languages and Programming” Metadata:

  • Title: ➤  Automata, Languages and Programming
  • Author:
  • Language: English
  • Number of Pages: Median: 474
  • Publisher: Springer-Verlag - Springer
  • Publish Date:
  • Publish Location: New York - Berlin

“Automata, Languages and Programming” 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 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:


    2Logics of programs

    By

    Book's cover

    “Logics of programs” Metadata:

    • Title: Logics of programs
    • Author:
    • Language: English
    • Number of Pages: Median: 424
    • Publisher: Springer-Verlag
    • Publish Date:
    • Publish Location: New York - Berlin

    “Logics of programs” Subjects and Themes:

    Edition Identifiers:

    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:


    3Program specification

    By

    Book's cover

    “Program specification” Metadata:

    • Title: Program specification
    • Author:
    • Language: English
    • Number of Pages: Median: 426
    • Publisher: Springer-Verlag
    • Publish Date:
    • Publish Location: New York - Berlin

    “Program specification” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 1982
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Program specification at online marketplaces:


    4Mathematics of program construction

    By

    Book's cover

    “Mathematics of program construction” Metadata:

    • Title: ➤  Mathematics of program construction
    • Author:
    • Language: English
    • Number of Pages: Median: 420
    • Publisher: Springer-Verlag
    • Publish Date:
    • Publish Location: Berlin - New York

    “Mathematics of program construction” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 1989
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Mathematics of program construction at online marketplaces: