-
-
Concise Guide to Software Verification
From Model Checking to Annotation Checking
Texts in Computer Science
-
Huisman, Marieke
Wijs, Anton
-
出版社：Springer International Publishing Ag
出版年月：2024年 07月
装丁：PAP
言語：ENG
版次：2023
-
税込価格：
14,473円
海外在庫あり
通常２～５週間で出荷
-
-
ソフトウェア認証コンサイスガイド（テキスト）
Concise Guide to Software Verification
From Model Checking to Annotation Checking
Texts in Computer Science
-
Huisman, Marieke
Wijs, Anton
-
出版社：Springer
出版年月：2023年 06月
装丁：HRD
言語：ENG
-
税込価格：
19,298円
海外在庫あり
通常２～５週間で出荷
-
-
Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Lecture Notes in Computer Science .9681
-
Herausgegeben von Á
brahá
m, Erika
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2016年 05月
装丁：PAP
版次：1st ed. 2016. 2016. xiii
-
税込価格：
19,298円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
Lecture Notes in Computer Science 13487
-
Herausgegeben:Groote, Jan Friso
Huisman, Marieke
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2022年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2022. 2022. x
-
税込価格：
16,886円
海外在庫あり
通常２～５週間で出荷
-
-
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science 10805
-
Herausgegeben von Beyer, Dirk
Huisman, Marieke
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2018年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2018. 2018. xx
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
-
-
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science 10806
-
Herausgegeben von Beyer, Dirk
Huisman, Marieke
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2018年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2018. 2018. xx
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
-
-
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
Security and Cryptology
-
Barthe, Gilles (EDT)
Gregoire, Benjamin (EDT)
Huisman, Marieke (EDT)
-
出版社：Springer-Verlag New York Inc
出版年月：2006年 05月
装丁：PAP
言語：ENG
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
-
-
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
Lecture Notes in Computer Science .11429
-
Herausgegeben von Beyer, Dirk
Huisman, Marieke
Kordon, Fabrice
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2019年 00月
装丁：PAP
版次：1st ed. 2019. 2019. xxvii
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
-
-
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science .10202
-
Herausgegeben von Huisman, Marieke
Rubin, Julia
-
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月：2017年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2017. 2017. xiii
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Techniques for Distributed Objects, Components, and Systems
Lecture Notes in Computer Science 13910
-
Herausgegeben:Huisman, Marieke
Ravara, Antó
nio
-
出版社：Springer, Berlin; Springer Nature Switzerland; Spring
出版年月：2023年 00月
装丁：PAP
版次：1st ed. 2023. 2023. xiv
-
税込価格：
16,886円
海外在庫あり
通常２～５週間で出荷
-
-
Tests and Proofs
18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Lecture Notes in Computer Science 15153
-
Herausgegeben:Huisman, Marieke
Howar, Falk
-
出版社：Springer, Berlin; Springer Nature Switzerland; Spring
出版年月：2024年 00月
装丁：PAP
版次：2024. 2024. viii
-
税込価格：
31,362円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Methods
24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
Lecture Notes in Computer Science 13047
-
Herausgegeben:Huisman, Marieke
Pasareanu, Corina
Zhan, Naijun
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2021年 00月
装丁：PAP
版次：1st ed. 2021. 2021. xix
-
税込価格：
26,536円
海外在庫あり
通常２～５週間で出荷
