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.
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 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 Rohit Parikh

“Logics of programs” Metadata:
- Title: Logics of programs
- Author: Rohit Parikh
- Language: English
- Number of Pages: Median: 424
- Publisher: Springer-Verlag
- Publish Date: 1985
- Publish Location: New York - Berlin
“Logics of programs” Subjects and Themes:
- Subjects: ➤ Congresses - Symbolic and mathematical Logic - Computer programs - Logique programme - Lambda calcul - Vérification programme - Spécification programme - Programmation en logique - Théorie type - Logique mathématique
Edition Identifiers:
- The Open Library ID: OL2531924M
- Online Computer Library Center (OCLC) ID: 12134885
- Library of Congress Control Number (LCCN): 85012573
- All ISBNs: 0387156488 - 9780387156484
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Program specification
By J. Staunstrup

“Program specification” Metadata:
- Title: Program specification
- Author: J. Staunstrup
- Language: English
- Number of Pages: Median: 426
- Publisher: Springer-Verlag
- Publish Date: 1982
- Publish Location: New York - Berlin
“Program specification” Subjects and Themes:
- Subjects: ➤ Specifications - Congresses - Computer programs - Spezifikation - KWIC - Langage programmation - Langage spécification - Programmierung - Programme distribué - Spécification programme - Congrès - TECTON - Spécifications - Logiciels - Réseau transmission - Construction géometrique - Softwarespezifikation - Congres
Edition Identifiers:
- The Open Library ID: OL3485938M
- Online Computer Library Center (OCLC) ID: 8345216
- Library of Congress Control Number (LCCN): 82005485
- All ISBNs: 0387114904 - 9780387114903
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Mathematics of program construction
By Jan L. A. Van de Snepscheut

“Mathematics of program construction” Metadata:
- Title: ➤ Mathematics of program construction
- Author: Jan L. A. Van de Snepscheut
- Language: English
- Number of Pages: Median: 420
- Publisher: Springer-Verlag
- Publish Date: 1989
- Publish Location: Berlin - New York
“Mathematics of program construction” Subjects and Themes:
- Subjects: ➤ Computer programming - Congresses - Computer science - Mathematics - Méthodologie analyse - Programmation - Moteur inférence - Spécification programme - Transformation programme - Construction programme
Edition Identifiers:
- The Open Library ID: OL2192726M
- Online Computer Library Center (OCLC) ID: 19846167 - 507575222
- Library of Congress Control Number (LCCN): 89011561
- All ISBNs: 0387513051 - 9780387513058
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.