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

税込価格：

11,787円

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

Formal Verification of Object-Oriented Software

International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Lecture Notes in Computer Science / Programming and Software Engineering Vol.7421

Herausgegeben von Beckert, Bernhard Damiani, Ferruccio Gurov, Dilian

出版社：Springer, Berlin 出版年月：2012年 00月
装丁：PAP 版次：2012. X

税込価格：

10,846円

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