Formal Methods for an Informal World

ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

Lecture Notes in Computer Science 13490

Herausgegeben:Cerone, Antonio

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

税込価格：

11,719円

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

Formal Methods - Fun for Everybody

First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers

Communications in Computer and Information Science 1301

Herausgegeben:Cerone, Antonio Roggenbach, Markus

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

税込価格：

11,719円

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

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Lecture Notes in Computer Science 13230

Herausgegeben:Cerone, Antonio Autili, Marco Bucaioni, Alessio

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

税込価格：

11,719円

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

Theoretical Aspects of Computing - ICTAC 2021

18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings

Lecture Notes in Computer Science 12819

Herausgegeben:Cerone, Antonio OElveczky, Peter Csaba

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

税込価格：

17,582円

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