Explore: Système Concurrent
Discover books, insights, and more — all in one place.
Learn more about Système Concurrent with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “syst%C3%A8me-concurrent”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Concurrent systems
By Jean Bacon and J. Bacon
“Concurrent systems” Metadata:
- Title: Concurrent systems
- Authors: Jean BaconJ. Bacon
- Language: English
- Number of Pages: Median: 719
- Publisher: ➤ Addison-Wesley - Addison Wesley
- Publish Date: 1993 - 1997 - 1998 - 2002
- Publish Location: ➤ Reading, Mass - Harlow, England - Wokingham, England - New York
“Concurrent systems” Subjects and Themes:
- Subjects: ➤ Base donnée - Système concurrent - Concurrence - Système réparti - Parallel processing (Electronic computers) - Système exploitation - Gestion mémoire - Parallélisme (Informatique) - Logiciel modulaire - Parallélisme (informatique) - Parallel processing (electronic computers)
Edition Identifiers:
- The Open Library ID: OL7406927M - OL1729961M - OL693358M - OL3561980M
- Library of Congress Control Number (LCCN): 2002028333 - 97040612 - 92034364
- All ISBNs: ➤ 9780321117885 - 0201416778 - 0201177676 - 9780201177671 - 0321117883 - 9780201416770
Access and General Info:
- First Year Published: 1993
- 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 Concurrent systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Temporal logic in specification
By Howard Barringer
“Temporal logic in specification” Metadata:
- Title: ➤ Temporal logic in specification
- Author: Howard Barringer
- Language: English
- Number of Pages: Median: 448
- Publisher: Springer-Verlag - Springer
- Publish Date: 1989
- Publish Location: New York - Berlin
“Temporal logic in specification” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - System design - Softwarespezifikation - Logique symbolique et mathématique - Théorie automate - Système concurrent - Temporale Logik - Congrès - Vérification - Spécification - Logique temporelle - Systèmes, Conception de - Démonstration théorème - Logique - Nebenläufigkeit - Congresses
Edition Identifiers:
- The Open Library ID: OL2200354M
- Online Computer Library Center (OCLC) ID: 20490986
- Library of Congress Control Number (LCCN): 89021947
- All ISBNs: 9780387518039 - 0387518037
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Temporal logic in specification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.