-
-
Logic, Rewriting, and Concurrency
Symposium in Honor of José Meseguer on the Occasion of His 65th Birthday, Urbana, IL, USA, September 23-25, 2015, Proceedings
Lecture Notes in Computer Science .9200
-
Herausgegeben von Martí
-Oliet, Narciso
OElveczky, Peter Csaba
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2015年 08月
装丁：PAP
版次：1st ed. 2015. 2015. xi
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Lecture Notes in Computer Science 15560
-
Herausgegeben:Lee, Edward A.
Mousavi, Mohammad Reza
Talcott, Carolyn
-
出版社：Springer, Berlin; Springer Nature Switzerland; Spring
出版年月：2025年 00月
装丁：PAP
言語：ENG
版次：2025. x
-
税込価格：
15,560円
海外在庫あり
通常２～５週間で出荷
-
-
Composing Model-Based Analysis Tools
-
Herausgegeben:Heinrich, Robert
Durá
n, Francisco
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2021年 00月
装丁：HRD
版次：1st ed. 2021. 2021. xvi
-
税込価格：
33,011円
海外在庫あり
通常２～５週間で出荷
-
-
Composing Model-Based Analysis Tools
-
Herausgegeben:Heinrich, Robert
Durá
n, Francisco
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2022年 00月
装丁：PAP
版次：1st ed. 2021. 2022. xvi
-
税込価格：
23,579円
海外在庫あり
通常２～５週間で出荷
-
-
Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Lecture Notes in Computer Science 12300
-
Herausgegeben:Nigam, Vivek
Ban Kirigin, Tajana
Talcott, Carolyn
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2020年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2020 2020 x
-
税込価格：
14,146円
海外在庫あり
通常２～５週間で出荷
