-
-
Introduction to Bisimulation and Coinduction
-
Sangiorgi, Davide
-
出版社：Cambridge University Press
出版年月：2011年 10月
装丁：HRD
言語：ENG
-
税込価格：
25,840円
海外在庫あり
通常２～５週間で出荷
-
-
Advanced Topics in Bisimulation and Coinduction
Cambridge Tracts in Theoretical Computer Science
-
Sangiorgi, Davide (EDT)
Rutten, Jan (EDT)
-
出版社：Cambridge University Press
出版年月：2011年 10月
装丁：HRD
言語：ENG
-
税込価格：
35,494円
海外在庫あり
通常２～５週間で出荷
-
-
The Pi-Calculus
A Theory of Mobile Processes
-
Sangiorgi, Davide
Walker, David
-
出版社：Cambridge University Press
出版年月：2003年 10月
装丁：PAP
言語：ENG
-
税込価格：
19,925円
海外在庫あり
通常２～５週間で出荷
-
-
Theoretical Computer Science
8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8705
-
Herausgegeben von Diaz, Josep
Lanese, Ivan
Sangiorgi, Davide
-
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月：2014年 08月
装丁：PAP
版次：2014. 2014. xvi
-
税込価格：
12,318円
海外在庫あり
通常２～５週間で出荷
-
-
Trustworthy Global Computing
International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
Theoretical Computer Science and General Issues
-
De Nicola, Rocco
Sangiorgi, Davide
Tgc 200 (2005 Edinburgh, Scotland
-
出版社：Springer-Verlag New York Inc
出版年月：2006年 02月
装丁：PAP
言語：ENG
版次：REVISED
-
税込価格：
12,318円
海外在庫あり
通常２～５週間で出荷
