Reliable Software Technologies - Ada-Europe 2017

22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Lecture Notes in Computer Science .10300

Herausgegeben von Blieberger, Johann Bader, Markus

出版社：Springer, Berlin; Springer International Publishing 出版年月：2017年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2017. 2017. xiv

税込価格：

12,966円

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

Symbolic Analysis

An Algebra-based Approach

Burgstaller, Bernd Scholz, Bernhard Blieberger, Johann

出版社：Vdm Verlag Dr. Müller; Vdm Verlag Dr. Müller E.K. 出版年月：2008年 00月
装丁：PAP 版次：2008. 168 S. 220 mm

税込価格：

17,800円

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