Book Search Results
Verifying Concurrent Processes Using Temporal Logic
Find "Verifying Concurrent Processes Using Temporal Logic" through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Verifying Concurrent Processes Using Temporal Logic
By B. T. Hailpern
“Verifying Concurrent Processes Using Temporal Logic” Metadata:
- Title: ➤ Verifying Concurrent Processes Using Temporal Logic
- Author: B. T. Hailpern
- Publisher: Springer
- Publish Date: 1982
“Verifying Concurrent Processes Using Temporal Logic” Subjects and Themes:
- Subjects: Computer programming - Computer science
Edition Identifiers:
- The Open Library ID: OL26111579M
- All ISBNs: 3540112057 - 9783540112051
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.
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.
Buy “Verifying Concurrent Processes Using Temporal Logic” online:
Shop for “Verifying Concurrent Processes Using Temporal Logic” on popular online marketplaces.
- Ebay: New and used books.