-
-
Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
Lecture Notes in Computer Science 13182
-
Herausgegeben:Finkbeiner, Bernd
Wies, Thomas
-
出版社：Springer, Berlin; Springer
出版年月：2022年 00月
装丁：PAP
版次：1st ed. 2022. 2022. X
-
税込価格：
21,219円
海外在庫あり
通常２～５週間で出荷
-
-
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science 14570
-
Herausgegeben:Finkbeiner, Bernd
Ková
cs, Laura
-
出版社：Springer, Berlin; Springer Nature Switzerland; Etaps
出版年月：2024年 00月
装丁：PAP
版次：1st ed. 2024. 2024. xxviii
-
税込価格：
9,429円
海外在庫あり
通常２～５週間で出荷
-
-
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science 14571
-
Herausgegeben:Finkbeiner, Bernd
Ková
cs, Laura
-
出版社：Springer, Berlin; Springer Nature Switzerland; Etaps
出版年月：2024年 00月
装丁：PAP
版次：1st ed. 2024. 2024. xxi
-
税込価格：
9,429円
海外在庫あり
通常２～５週間で出荷
-
-
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science 14572
-
Herausgegeben:Finkbeiner, Bernd
Ková
cs, Laura
-
出版社：Springer, Berlin; Springer Nature Switzerland; Etaps
出版年月：2024年 00月
装丁：PAP
版次：1st ed. 2024. 2024. xxii
-
税込価格：
9,429円
海外在庫あり
通常２～５週間で出荷
-
-
Lautes Denken, Stimulated Recall und Dokumentarische Methode
Rekonstruktive Verfahren in der Fremdsprachenlehr- und -lernforschung
LaCuLi. Language Culture Literacy .10
-
Herausgegeben:Finkbeiner, Claudia
Aguado, Karin
Tesch, Bernd
-
出版社：Peter Lang
出版年月：2018年 00月
装丁：HRD
言語：GER
版次：2018. 204 S. 8 Abb. 210 mm
-
税込価格：
17,620円
海外在庫あり
通常２～４週間で出荷
