Formal Development of a Network-Centric RTOS

Software Engineering for Reliable Embedded Systems

Verhulst, Eric Boute, Raymond T. Faria, Jos Miguel Sampaio

出版社：Springer Verlag 出版年月：2014年 10月
装丁：PAP 言語：ENG

税込価格：

25,936円

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

Teaching Formal Methods

CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

Lecture Notes in Computer Science Vol.3294

Ed. by C. N. Dean and Raymond T. Boute

出版社：Springer, Berlin 出版年月：2004年 00月
装丁：PAP 言語：ENG 版次：2004. X

税込価格：

11,787円

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