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.
Wiki
Source: Wikipedia
Wikipedia Results
Search Results from Wikipedia
Verified Live
Verified Live, also called Verified Live with Matthew Amroliwala, is a news programme that premiered on both the UK feed and international feed of BBC
Age verification system
An age verification system, also known as an age gate, is any technical system that externally verifies a person's age. These systems are used primarily
World Food Programme
The World Food Programme (WFP) is an international organization within the United Nations (UN) that provides food assistance worldwide. It is the world's
Malaysian Matriculation Programme
Malaysian Matriculation Programme (Malay: Program Matrikulasi Malaysia) is a one-year pre-university preparatory programme[failed verification] offered by the
Oil-for-Food Programme
The Oil-for-Food Programme (OIP) was established by the United Nations in 1995 (under UN Security Council Resolution 986) to allow Iraq to sell oil on
United Nations Development Programme
The United Nations Development Programme (UNDP) is a United Nations agency tasked with helping countries eliminate poverty and achieve sustainable economic
Pob's Programme
Pob's Programme is a children's television programme which was broadcast in the United Kingdom on Channel 4. The programme is presented by a puppet named
GOV.UK Verify
uk Verify accounts". Computer Weekly. Glick, Bryan (23 August 2019). "Three more identity providers to withdraw from troubled Gov.uk Verify programme".
Lunokhod programme
Apollo human lunar landings and cancellation of the Soviet human Moon programme. The Lunokhods were transported to the lunar surface by Luna spacecraft
IB Diploma Programme
Diploma Programme (IBDP) is a two-year educational programme primarily aimed at 16-to-19-year-olds in 140 countries around the world. The programme provides