-
-
Specification and Development of Interactive Systems
Focus on Streams, Interfaces, and Refinement
Monographs in Computer Science
-
Broy, Manfred
Stolen, Ketil
-
出版社：Springer, Berlin
出版年月：2001年 00月
装丁：HRD
版次：2001. XV
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Model-Driven Risk Analysis
The CORAS Approach
-
Lund, Mass Soldal
Solhaug, Bjornar
Stolen, Ketil
-
出版社：Springer, Berlin
出版年月：2010年 00月
装丁：HRD
言語：ENG
版次：2010. 400 S.
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Graphical Models for Security
4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
Lecture Notes in Computer Science 10744
-
Herausgegeben von Liu, Peng
Mauw, Sjouke
Stolen, Ketil
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2018年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2018. 2018. xi
-
税込価格：
9,902円
海外在庫あり
通常２～５週間で出荷
