Tests and Proofs

8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

Lecture Notes in Computer Science / Programming and Software Engineering .8570

Herausgegeben von Seidl, Martina Tillmann, Nikolai

出版社：Springer, Berlin; Springer International Publishing 出版年月：2014年 08月
装丁：PAP 版次：2014. 2014. xii

税込価格：

11,765円

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

Software Technologies: Applications and Foundations

STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

Lecture Notes in Computer Science .10748

Herausgegeben von Seidl, Martina Zschaler, Steffen

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2018年 00月
装丁：PAP 版次：1st ed. 2018. 2018. xxiv

税込価格：

12,252円

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

Theory and Applications of Satisfiability Testing - SAT 2020

23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

Lecture Notes in Computer Science 12178

Herausgegeben von Pulina, Luca Seidl, Martina

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2020年 00月
装丁：PAP 版次：1st ed. 2020. 2020. xi

税込価格：

12,252円

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