-
-
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,334円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Methods for Executable Software Models
Lecture Notes in Computer Science / Programming and Software Engineering .8483
-
Herausgegeben von Bernardo, Marco
Damiani, Ferruccio
Haehnle, Reiner
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2014年 05月
装丁：PAP
言語：ENG
版次：2014. 2014. viii
-
税込価格：
12,318円
海外在庫あり
通常２～５週間で出荷
-
-
Leveraging Applications of Formal Methods, Verification, and Validation
Communications in Computer and Information Science .336
-
Herausgegeben von Haehnle, Reiner
Knoop, Jens
Margaria, Tiziana
-
出版社：Springer, Berlin; Springer
出版年月：2012年 00月
装丁：PAP
版次：2012. 2012. 272 S. 235 mm
-
税込価格：
12,318円
海外在庫あり
通常２～５週間で出荷
