Explore: Programmation Parrallèle (informatique)
Discover books, insights, and more — all in one place.
Learn more about Programmation Parrallèle (informatique) with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “programmation-parrall%C3%A8le-%28informatique%29”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
By Willem-Paul de Roever, Grzegorz Rozenberg, J. W. de Bakker and W.-P. de Roever
“Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency” Metadata:
- Title: ➤ Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
- Authors: Willem-Paul de RoeverGrzegorz RozenbergJ. W. de BakkerW.-P. de Roever
- Language: English
- Number of Pages: Median: 713
- Publisher: Springer-Verlag - Springer
- Publish Date: 1989
- Publish Location: New York - Berlin
“Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency” Subjects and Themes:
- Subjects: ➤ Parallel processing (Electronic computers) - Distributed processing - Electronic data processing - REX - Programmation - Parallélisme - Concurrence - Logique temporelle - Modélisation - Parallélisme (Informatique) - Programmation parrallèle (Informatique) - Ordinateurs - Processus branchement - Traitement réparti - Nebenläufigkeit
Edition Identifiers:
- The Open Library ID: OL2188038M - OL9516062M
- Online Computer Library Center (OCLC) ID: 19515753
- Library of Congress Control Number (LCCN): 89006216
- All ISBNs: 9783540510802 - 038751080X - 354051080X - 9780387510804
Access and General Info:
- First Year Published: 1989
- 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 Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.