-
-
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science 12652
-
Herausgegeben:Groote, Jan Friso
Larsen, Kim Guldstrand
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2021年 00月
装丁：PAP
版次：1st ed. 2021. 2021. xxi
-
税込価格：
9,645円
海外在庫あり
通常２～５週間で出荷
-
-
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science 12651
-
Herausgegeben:Groote, Jan Friso
Larsen, Kim Guldstrand
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2021年 00月
装丁：PAP
版次：1st ed. 2021. 2021. xxi
-
税込価格：
9,645円
海外在庫あり
通常２～５週間で出荷
-
-
Reactive Systems
Modelling, Specification and Verification
-
Aceto, Luca
Ingólfsdóttir, Anna
Larsen, Kim Guldstrand
-
出版社：Cambridge University Press
出版年月：2007年 08月
装丁：HRD
言語：ENG
-
税込価格：
25,797円
海外在庫あり
通常２～５週間で出荷
-
-
Dependable Software Engineering. Theories, Tools, and Applications
Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Lecture Notes in Computer Science .10606
-
Herausgegeben von Larsen, Kim Guldstrand
Sokolsky, Oleg
Wang, Ji
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2017年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2017. 2017. xviii
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Methods for Industrial Critical Systems
24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings
Lecture Notes in Computer Science .11687
-
Herausgegeben von Larsen, Kim Guldstrand
Willemse, Tim
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2019年 00月
装丁：PAP
版次：1st ed. 2019. 2019. xv
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
