-
-
Formal Methods for Embedded Distributed Systems
How to master the complexity
-
Kordon, Fabrice
Lemoine, Michel (EDT)
-
出版社：Springer
出版年月：2010年 10月
装丁：PAP
言語：ENG
-
税込価格：
24,640円
海外在庫あり
通常２～５週間で出荷
-
-
Reliable Software Technologies - Ada-Europe 2009
14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings
Lecture Notes in Computer Science
-
Kordon, Fabrice (EDT)
Kermarrec, Yvon (EDT)
-
出版社：Springer
出版年月：2009年 06月
装丁：PAP
言語：ENG
-
税込価格：
12,318円
海外在庫あり
通常２～５週間で出荷
-
-
Reliable Systems on Unreliable Networked Platforms
12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
Programming and Software Engineering
-
Kordon, Fabrice (EDT)
Sztipanovits, Janos (EDT)
-
出版社：Springer
出版年月：2007年 03月
装丁：PAP
言語：ENG
-
税込価格：
12,318円
海外在庫あり
通常２～５週間で出荷
-
-
Reliable Software Technologies - Ada-Europe 2007
12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings
Lecture Notes in Computer Science
-
Abdennahder, Nabil (EDT)
Kordon, Fabrice (EDT)
-
出版社：Springer
出版年月：2007年 07月
装丁：PAP
言語：ENG
-
税込価格：
12,318円
海外在庫あり
通常２～５週間で出荷
-
-
Models and Analysis for Distributed Systems
ISTE
-
Haddad, Serge (EDT)
Kordon, Fabrice (EDT)
Pautet, Laurent (EDT)
-
出版社：Wiley-Iste
出版年月：2011年 06月
装丁：HRD
言語：ENG
-
税込価格：
38,842円
海外在庫あり
通常２～５週間で出荷
-
-
TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
Lecture Notes in Computer Science 14550
-
Herausgegeben:Beyer, Dirk
Hartmanns, Arnd
Kordon, Fabrice
-
出版社：Springer, Berlin; Springer Nature Switzerland; Spring
出版年月：2024年 00月
装丁：PAP
言語：ENG
版次：2024. ix
-
税込価格：
12,318円
海外在庫あり
通常２～５週間で出荷
-
-
Challenges and Opportunity with Big Data
19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers
Lecture Notes in Computer Science .10228
-
Herausgegeben von Ren, Lei
Zhang, Lin
Kordon, Fabrice
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2017年 00月
装丁：PAP
版次：1st ed. 2017. 2017. viii
-
税込価格：
12,318円
海外在庫あり
通常２～５週間で出荷
-
-
Transactions on Petri Nets and Other Models of Concurrency XV
Lecture Notes in Computer Science 12530
-
Herausgegeben:Koutny, Maciej
Kordon, Fabrice
Pomello, Lucia
-
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月：2021年 00月
装丁：PAP
版次：1st ed. 2021. 2021. xvii
-
税込価格：
12,318円
海外在庫あり
通常２～５週間で出荷
-
-
Transactions on Petri Nets and Other Models of Concurrency XVI
Lecture Notes in Computer Science 13220
-
Herausgegeben:Koutny, Maciej
Kordon, Fabrice
Moldt, Daniel
-
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月：2022年 00月
装丁：PAP
版次：1st ed. 2022. 2022. xvii
-
税込価格：
22,176円
海外在庫あり
通常２～５週間で出荷
-
-
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,318円
海外在庫あり
通常２～５週間で出荷
