Explore: Programme Concurrent
Discover books, insights, and more — all in one place.
Learn more about Programme Concurrent with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “programme-concurrent”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Logics and models of concurrent systems
By NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 La Colle-sur-Loup, France)
“Logics and models of concurrent systems” Metadata:
- Title: ➤ Logics and models of concurrent systems
- Author: ➤ NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 La Colle-sur-Loup, France)
- Language: English
- Number of Pages: Median: 498
- Publisher: Springer-Verlag
- Publish Date: 1985
- Publish Location: New York - Berlin
“Logics and models of concurrent systems” Subjects and Themes:
- Subjects: ➤ Congresses - Distributed processing - Electronic data processing - Parallel processing (Electronic computers) - Système - Parallelverarbeitung - Concurrence - Systèmes à paramètres répartis - Modélisation - Kongress - Programme concurrent - Logique temporelle - Système réparti - Traitement parallèle - Parallélisme (informatique)
Edition Identifiers:
- The Open Library ID: OL3027640M
- Library of Congress Control Number (LCCN): 85008092
- All ISBNs: 9780387151816 - 0387151818
Access and General Info:
- First Year Published: 1985
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logics and models of concurrent systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2ESOP '88
By European Symposium on Programming (2nd 1988 Nancy, France)
“ESOP '88” Metadata:
- Title: ESOP '88
- Author: ➤ European Symposium on Programming (2nd 1988 Nancy, France)
- Language: English
- Number of Pages: Median: 379
- Publisher: Springer-Verlag
- Publish Date: 1988
- Publish Location: New York - Berlin
“ESOP '88” Subjects and Themes:
- Subjects: ➤ Computer programming - Congresses - Programming languages (Electronic computers) - Spécification langage - Programmation - Conception langage - Codage - Spécification algébrique - Developpement programme - Implémentation langage - Programme concurrent - Vérification programme - Programmation fonctionnelle - Environnement programmation - Développement logiciel - Logique programmation - Programmation (Informatique) - Langages de programmation - Programmeren (computers) - Congrès - Electronic books
Edition Identifiers:
- The Open Library ID: OL2529236M
- Online Computer Library Center (OCLC) ID: 17620650
- Library of Congress Control Number (LCCN): 88004633
- All ISBNs: 9780387190273 - 0387190279
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find ESOP '88 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.