Explore: Processus Communicant
Discover books, insights, and more — all in one place.
Learn more about Processus Communicant with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “processus-communicant”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Automata, Languages and Programming
By Laurent Kott
“Automata, Languages and Programming” Metadata:
- Title: ➤ Automata, Languages and Programming
- Author: Laurent Kott
- Language: English
- Number of Pages: Median: 474
- Publisher: Springer-Verlag - Springer
- Publish Date: 1986
- Publish Location: New York - Berlin
“Automata, Languages and Programming” Subjects and Themes:
- Subjects: ➤ Machine theory - Programmation - Congrès - Langages formels - Automates mathématiques, Théorie des - Cryptologie - Computer programming - Processus communicant - Récursivité - Logique mathématique - Automates - Sémantique langage - Spécification programme - Programmation (Informatique) - Formal languages - Ordinateurs - Congresses - Logique programmation
Edition Identifiers:
- The Open Library ID: OL18434686M - OL12772306M - OL10152304M
- Online Computer Library Center (OCLC) ID: 13793499
- Library of Congress Control Number (LCCN): 86015466
- All ISBNs: 9780387167619 - 9783540167617 - 3540167617 - 0387167617
Access and General Info:
- First Year Published: 1986
- 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 Automata, Languages and Programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Compositionality, concurrency, and partial correctness
By J. Zwiers
“Compositionality, concurrency, and partial correctness” Metadata:
- Title: ➤ Compositionality, concurrency, and partial correctness
- Author: J. Zwiers
- Language: English
- Number of Pages: Median: 272
- Publisher: Springer-Verlag
- Publish Date: 1989
- Publish Location: New York - Berlin
“Compositionality, concurrency, and partial correctness” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Parallel processing (Electronic computers) - Décomposition programme - Compositionnalité - TNP - Théorèmes - DNP - Processus communicant - Modularité - Parallélisme (informatique) - Correction programme - Complétude - Démonstration automatique - Preuve programme - Réseau processus - Partiell korrektes Programm - Programmverifikation - Dekomposition - Nebenläufigkeit
Edition Identifiers:
- The Open Library ID: OL2186311M
- Online Computer Library Center (OCLC) ID: 19323130
- Library of Congress Control Number (LCCN): 89004329
- All ISBNs: 9780387508450 - 0387508457
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 Compositionality, concurrency, and partial correctness at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.