-
-
Formal Methods for Components and Objects
Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Lecture Notes in Computer Science
-
Boer, Frank S. De (EDT)
Bonsangue, Marcello M. (EDT)
Graf, Susanne (
-
出版社：Springer-Verlag New York Inc
出版年月：2005年 11月
装丁：PAP
言語：ENG
-
税込価格：
12,386円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Methods for Components and Objects
5th International Symposium, FMCO 2006, Netherlands, Revised Lectures
Lecture Notes in Computer Science
-
de Boer, Frank S. (EDT)
Bonsangue, M. M. (et al., EDT)
-
出版社：Springer
出版年月：2007年 10月
装丁：PAP
-
税込価格：
12,386円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Methods for Components and Objects
4th International Symposium, FMCO 2005, The Netherlands, November, 2005, Revised Lectures
Lecture Notes in Computer Science
-
de Boer, Frank S. (EDT)
Bonsangue, Marcello M. (et al., EDT)
-
出版社：Springer
出版年月：2006年 08月
装丁：PAP
言語：ENG
-
税込価格：
12,386円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Methods for Components and Objects
6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Lecture Notes in Computer Science
-
De Boer, Frank S. (EDT)
Bonsangue, Marcello M. (EDT)
Graf, Susanne (
-
出版社：Springer-Verlag New York Inc
出版年月：2008年 12月
装丁：PAP
言語：ENG
-
税込価格：
12,386円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Methods for Components and Objects, FMCO 2002
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002. Revised Lectures
Lecture Notes in Computer Science Vol.2852
-
Ed. by Frank S.de Boer, Marcello M. Bonsangue, Susanne Graf et al.
-
出版社：Springer, Berlin
出版年月：2003年 00月
装丁：PAP
言語：ENG
版次：2003. VIII
-
税込価格：
12,386円
海外在庫あり
通常２～５週間で出荷
-
-
Verification of Sequential and Concurrent Programs
Texts in Computer Science
-
Apt, Krzysztof R.
De Boer, Frank S.
Olderog, Ernst-Rudiger
-
出版社：Springer-Verlag New York Inc
出版年月：2012年 03月
装丁：PAP
言語：ENG
版次：3RD
-
税込価格：
19,822円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Methods for Components and Objects
11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Lecture Notes in Computer Science / Programming and Software Engineering .7866
-
Herausgegeben von Giachino, Elena
Haehnle, Reiner
de Boer, Frank S.
-
出版社：Springer, Berlin
出版年月：2013年 08月
装丁：PAP
版次：2013. x
-
税込価格：
11,397円
海外在庫あり
通常２～５週間で出荷
-
-
Theoretical Computer Science
7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7604
-
Herausgegeben von Baeten, Jos C.M.
Ball, Tom
de Boer, Frank S.
-
出版社：Springer, Berlin
出版年月：2012年 00月
装丁：PAP
言語：ENG
版次：2012. 2012. X
-
税込価格：
12,386円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Lecture Notes in Computer Science / Programming and Software Engineering .7542
-
Herausgegeben von Beckert, Bernhard
Damiani, Ferruccio
de Boer, Frank S.
-
出版社：Springer, Berlin
出版年月：2013年 00月
装丁：PAP
版次：Repr. 2012. 2013. x
-
税込価格：
12,386円
海外在庫あり
通常２～５週間で出荷
