Explore: Vérification Logiciel
Discover books, insights, and more — all in one place.
Learn more about Vérification Logiciel with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “v%c3%a9rification-logiciel”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Software engineering concepts
By R. E. Fairley
“Software engineering concepts” Metadata:
- Title: Software engineering concepts
- Author: R. E. Fairley
- Language: English
- Number of Pages: Median: 364
- Publisher: McGraw-Hill
- Publish Date: 1985
- Publish Location: New York
“Software engineering concepts” Subjects and Themes:
- Subjects: ➤ Computer software - Software engineering - Programmation - Installation système - Planification - Coût logiciel - Conception logiciel - Software Engineering - Validation logiciel - Vérification logiciel - Maintenance logiciel - Programmation (Informatique) - Programmatuurtechniek - Logiciels - Ordinateurs - Génie logiciel - Computer programming - Computer programs
Edition Identifiers:
- The Open Library ID: OL2849964M
- Online Computer Library Center (OCLC) ID: 10799187
- Library of Congress Control Number (LCCN): 84012210
- All ISBNs: 0070199027 - 9780070199026
Access and General Info:
- First Year Published: 1985
- 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:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Software engineering concepts at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Verifying concurrent processes using temporal logic
By Brent T. Hailpern
“Verifying concurrent processes using temporal logic” Metadata:
- Title: ➤ Verifying concurrent processes using temporal logic
- Author: Brent T. Hailpern
- Language: English
- Number of Pages: Median: 208
- Publisher: Springer-Verlag
- Publish Date: 1982
- Publish Location: New York - Berlin
“Verifying concurrent processes using temporal logic” Subjects and Themes:
- Subjects: ➤ Computer programs - Parallel processing (Electronic computers) - Verification - Programmation structurée - Allocation ressource - Vérification - Programme parallèle - Programmierung - Heuristique - Programmverifikation - Logiciel - vérification - Vérification logiciel - Multitraitement - Protocole réseau - Logiciels - Logique temporelle - Parallelverarbeitung - Verifikation - Parallélisme (Informatique)
Edition Identifiers:
- The Open Library ID: OL3481503M
- Online Computer Library Center (OCLC) ID: 8219232
- Library of Congress Control Number (LCCN): 82000856
- All ISBNs: 9780387112053 - 0387112057
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 Verifying concurrent processes using temporal logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Wiki
Source: Wikipedia
Wikipedia Results
Search Results from Wikipedia
CeCILL
CeCILL (from CEA CNRS INRIA Logiciel Libre) is a free software license adapted to both international and French legal matters, in the spirit of and retaining
Yie Ar Kung-Fu II
Konami (MSX) France Image Logiciel (Thomson) James Software Ltd (other formats) Publisher(s) Konami (MSX) France Image Logiciel (Thomson) Imagine Software
Syndicat des éditeurs de logiciels de loisirs
SELL (Syndicat des éditeurs de logiciels de loisirs) is a French organisation created in 1995 that promotes the interests of video game developers. It
Notepad++
The Story Of Notepad++". Lifehacker Australia. "Jext - Free Software (Logiciel Libre) Source Code Editor". jext.org. 1 September 2008. Archived from the
Framasoft
In June 2002, Framasoft and AFUL started the campaign « Libérons les logiciels à l'école » ("Let's free softwares at school"). In September 2002, the
Cacti (software)
original (html) on 12 June 2019. Retrieved 24 January 2020. Cacti est un logiciel de supervision basé sur RRDtool permettant de surveiller l'activité de
Sopra Steria
barre de leur entreprise[permanent dead link], nr. 218, p.1026-1028, iLogiciels & Services Pierre Pasquier, dernier pionnier, Olivier Hensgen, 23 maart
FourCC
type code The Type/Creator Database "Signatures of Macintosh Files". Logiciels & Services Duhem. Retrieved December 1, 2015. Morrison, Jerry (January
Académie Française
coined French words derived from existing ones (baladeur, ordinateur, logiciel, and courriel respectively). The Académie has also noted that anglicisms
Franglais
acceptance of such words varies considerably; for example, ordinateur and logiciel existed before the English words computer and software reached France,