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

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円

海外在庫あり 通常２～５週間で出荷