Formal Methods for Multicore Programming

Lecture Notes in Computer Science .9104

Herausgegeben von Bernardo, Marco Johnsen, Einar Broch

出版社：Springer, Berlin; Springer International Publishing 出版年月：2015年 05月
装丁：PAP 版次：2015. 2015. vii

税込価格：

11,317円

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

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

税込価格：

11,787円

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