Explore: Vérification Programme
Discover books, insights, and more — all in one place.
Learn more about Vérification Programme with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “v%C3%A9rification-programme”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Logics of Programs
By D. Kozen
“Logics of Programs” Metadata:
- Title: Logics of Programs
- Author: D. Kozen
- Language: English
- Number of Pages: Median: 489
- Publisher: Springer
- Publish Date: 1982 - 1984
“Logics of Programs” Subjects and Themes:
- Subjects: ➤ Sémantique programme - Vérification programme - Congrès - Programmation (Informatique) - Congresses - Logiciels - Logique temporelle - Computer programming - Logique programmation - Symbolic and mathematical Logic - Programmation logique
Edition Identifiers:
- The Open Library ID: OL27987078M - OL12771494M
- Library of Congress Control Number (LCCN): 82003219
- All ISBNs: 354011212X - 9783540112129 - 3540128964 - 9783540128960
Access and General Info:
- First Year Published: 1982
- 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 Logics of Programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Synchronous programming of reactive systems
By Nicolas Halbwachs
“Synchronous programming of reactive systems” Metadata:
- Title: ➤ Synchronous programming of reactive systems
- Author: Nicolas Halbwachs
- Language: English
- Number of Pages: Median: 174
- Publisher: ➤ Kluwer Academic Publishers - Springer London, Limited
- Publish Date: 1993 - 2013
- Publish Location: Boston - Dordrecht
“Synchronous programming of reactive systems” Subjects and Themes:
- Subjects: ➤ Programming languages (Electronic computers) - Real-time programming - LUSTRE (langage de programmation) - Systèmes homme-machine - LUSTRE - Signal - Echtzeitsprache - Programmation parallèle (informatique) - Vérification programme - Programmierung - Langages de programmation - Système réactif - Temps réel - Systèmes à réaction - Programmation en temps réel - Temps réel (informatique) - Compilation - Reaktives System - ARGOS - Echtzeitprogrammierung - Esterel (langage de programmation) - Systèmes conversationnels (informatique) - Parallelverarbeitung - ESTEREL - Computer programming
Edition Identifiers:
- The Open Library ID: OL37233930M - OL1733694M
- Library of Congress Control Number (LCCN): 92038480
- All ISBNs: 0792393112 - 1475722311 - 9781475722314 - 9780792393115
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Synchronous programming of reactive systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Logics 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.
4ESOP '88
By European Symposium on Programming (2nd 1988 Nancy, France)
“ESOP '88” Metadata:
- Title: ESOP '88
- Author: ➤ European Symposium on Programming (2nd 1988 Nancy, France)
- Language: English
- Number of Pages: Median: 379
- Publisher: Springer-Verlag
- Publish Date: 1988
- Publish Location: New York - Berlin
“ESOP '88” Subjects and Themes:
- Subjects: ➤ Computer programming - Congresses - Programming languages (Electronic computers) - Spécification langage - Programmation - Conception langage - Codage - Spécification algébrique - Developpement programme - Implémentation langage - Programme concurrent - Vérification programme - Programmation fonctionnelle - Environnement programmation - Développement logiciel - Logique programmation - Programmation (Informatique) - Langages de programmation - Programmeren (computers) - Congrès - Electronic books
Edition Identifiers:
- The Open Library ID: OL2529236M
- Online Computer Library Center (OCLC) ID: 17620650
- Library of Congress Control Number (LCCN): 88004633
- All ISBNs: 9780387190273 - 0387190279
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find ESOP '88 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.