Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Lecture Notes in Computer Science .10090

Herausgegeben von Ribeiro, Leila Lecomte, Thierry

出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 11月
装丁：PAP 版次：1st ed. 2016. 2016. x

税込価格：

11,787円

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Lecture Notes in Computer Science .9707

Herausgegeben von Lecomte, Thierry Pinger, Ralf Romanovsky, Alexander

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

税込価格：

11,787円

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings

Lecture Notes in Computer Science 14198

Herausgegeben:Milius, Birgit Collart-Dutilleul, Simon Lecomte, Thierry

出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2023年 00月
装丁：PAP 版次：1st ed. 2023. 2023. xx

税込価格：

15,324円

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings

Lecture Notes in Computer Science 13294

Herausgegeben:Collart-Dutilleul, Simon Haxthausen, Anne E. Lecomte, Thierry

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

税込価格：

15,324円

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Lecture Notes in Computer Science .10598

Herausgegeben von Fantechi, Alessandro Lecomte, Thierry Romanovsky, Alexander

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

税込価格：

11,787円

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings

Lecture Notes in Computer Science .11495

Herausgegeben von Collart-Dutilleul, Simon Lecomte, Thierry Romanovsky, Alexander

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

税込価格：

13,674円

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