Logic for concurrency and synchronisation
CiNii
Available at 10 libraries
Bibliographic Information
- Title
- "Logic for concurrency and synchronisation"
- Statement of Responsibility
- edited by Ruy J.G.B. de Queiroz
- Publisher
-
- Kluwer Academic
- Publication Year
-
- c2003
- Book size
- 25 cm
Search this Book/Journal
Notes
Includes bibliographical references
- Tweet
Details 詳細情報について
-
- CRID
- 1130282272666378880
-
- NII Book ID
- BA62721741
-
- ISBN
- 1402012705
-
- Text Lang
- en
-
- Country Code
- ne
-
- Title Language Code
- en
-
- Place of Publication
-
- Dordrecht
-
- Classification
-
- DC21: 511.3
-
- Subject
-
- LCSH: Proof theory
- LCSH: Modality (Logic)
- LCSH: Parallel programming (Computer science)
-
- Data Source
-
- CiNii Books