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.