NASA Formal Methods

6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

Lecture Notes in Computer Science / Programming and Software Engineering .8430

Herausgegeben von Badger, Julia M. Rozier, Kristin Yvonne

出版社：Springer, Berlin; Springer International Publishing 出版年月：2014年 04月
装丁：PAP 言語：ENG 版次：2014. 2014. xxvi

税込価格：

11,787円

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

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Lecture Notes in Computer Science 14934

Herausgegeben:Platzer, Andre Rozier, Kristin Yvonne Pradella, Matteo

出版社：Springer, Berlin; Springer Nature Switzerland; FM COM 出版年月：2024年 00月
装丁：PAP 版次：2025. 2024. xxii

税込価格：

35,369円

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

NASA Formal Methods

11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings

Lecture Notes in Computer Science .11460

Herausgegeben von Badger, Julia M. Rozier, Kristin Yvonne

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

税込価格：

15,560円

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

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Lecture Notes in Computer Science 14933

Herausgegeben:Platzer, Andr&eacute Rozier, Kristin Yvonne

出版社：Springer, Berlin; Springer Nature Switzerland; FM COM 出版年月：2024年 00月
装丁：PAP 版次：2025. 2024. xx

税込価格：

9,429円

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

NASA Formal Methods

15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Lecture Notes in Computer Science 13903

Herausgegeben:Rozier, Kristin Yvonne Chaudhuri, Swarat

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

税込価格：

23,579円

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