-
-
Real-Time Systems
Formal Specification and Automatic Verification
-
Olderog, Ernst-Rüdiger
Dierks, Henning
-
出版社：Cambridge University Press
出版年月：2008年 09月
装丁：HRD
言語：ENG
-
税込価格：
24,327円
海外在庫あり
通常２～５週間で出荷
-
-
Provably Correct Systems
NASA Monographs in Systems and Software Engineering
-
Hinchey, Mike (EDT)
Bowen, Jonathan P. (EDT)
Olderog, Ernst-Rüdiger (EDT)
-
出版社：Springer International Publishing Ag
出版年月：2018年 05月
装丁：PAP
言語：ENG
-
税込価格：
23,579円
海外在庫あり
通常２～５週間で出荷
-
-
Model Checking, Synthesis, and Learning
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Theoretical Computer Science and General Issues 13030
-
Herausgegeben:Olderog, Ernst-Ruediger
Steffen, Bernhard
Yi, Wang
-
出版社：Springer, Berlin; Springer; Springer International Pu
出版年月：2022年 00月
装丁：PAP
版次：1st ed. 2021. 2022. viii
-
税込価格：
15,324円
海外在庫あり
通常２～５週間で出荷
-
-
Lehrbuch der Physiologie. Nierentätigkeit und Wasserhaushalt
-
Mitarbeit: Ruediger, Wolfgang
Frey, Ernst
Herausgegeben von Trendelenburg, Wilhelm
-
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月：2013年 11月
装丁：PAP
版次：Softcover reprint of the original 1st ed. 1951. 2013. viii
-
税込価格：
8,369円
海外在庫あり
通常２～５週間で出荷
-
-
Robin Ruhelos
insBesondere Kinder 3
-
Sacher, Noë
mi
Ernst, Ruedi
-
出版社：Kwasi Verlag
出版年月：2023年 00月
装丁：HRD
版次：2023. 96 S. ganzseitige Illustrationen
-
税込価格：
4,940円
海外在庫あり
通常２～４週間で出荷
-
-
Der aufrechte Gang im windschiefen Kapitalismus
Modelle kritischen Denkens
-
Herausgegeben von Dannemann, Ruediger
Pickford, Henry W.
Schiller, Hans-Ernst
-
出版社：Springer, Berlin; Springer Fachmedien Wiesbaden; Spri
出版年月：2018年 00月
装丁：PAP
版次：1. Aufl. 2018. 2018. xi
-
税込価格：
11,013円
海外在庫あり
通常２～５週間で出荷
-
-
Praxishandbuch Familiengerichtlicher Kinderschutz
Materielles Recht, Verfahrensrecht, Datenschutz, psychologisches und pädagogisches Wissen
-
Hoffmann, Birgit
Katzenstein, Henriette
Kindler, Heinz
-
出版社：Reguvis Fachmedien
出版年月：2022年 00月
装丁：PAP
版次：2022. XLIII
-
税込価格：
14,042円
海外在庫あり
通常２～４週間で出荷
