-
-
ソフトウエア工学のための形式的手法（テキスト）
Formal Methods for Software Engineering
Languages, Methods, Application Domains
-
Roggenbach, Markus
Cerone, Antonio
Schlingloff, Bernd-Holger
-
出版社：Springer
出版年月：2022年 03月
装丁：HRD
言語：ENG
-
税込価格：
17,582円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Texts in Theoretical Computer Science. An EATCS Series
-
Roggenbach, Markus
Cerone, Antonio
Schlingloff, Bernd-Holger
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2023年 00月
装丁：PAP
版次：1st ed. 2022. 2023. xxviii
-
税込価格：
12,893円
海外在庫あり
通常２～５週間で出荷
-
-
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円
海外在庫あり
通常２～５週間で出荷
-
-
Recent Trends in Algebraic Development Techniques
25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
Lecture Notes in Computer Science 12669
-
Herausgegeben:Roggenbach, Markus
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2021年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2021. 2021. ix
-
税込価格：
11,719円
海外在庫あり
通常２～５週間で出荷
-
-
Recent Trends in Algebraic Development Techniques
23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
Lecture Notes in Computer Science .10644
-
Herausgegeben von James, Phillip
Roggenbach, Markus
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2017年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2017. 2017. x
-
税込価格：
11,719円
海外在庫あり
通常２～５週間で出荷
-
-
Applicable Formal Methods for Safe Industrial Products
Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Lecture Notes in Computer Science 14165
-
Herausgegeben:Haxthausen, Anne E.
Huang, Wen-ling
Roggenbach, Markus
-
出版社：Springer, Berlin; Springer Nature Switzerland; Spring
出版年月：2023年 00月
装丁：PAP
版次：1st ed. 2023. 2023. xiv
-
税込価格：
17,582円
海外在庫あり
通常２～５週間で出荷
