Formal Modeling and Analysis of Timed Systems, FORMATS 2003

First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Lecture Notes in Computer Science Vol.2791

Ed. by Kim G. Larsen a. Peter Niebert

出版社：Springer, Berlin 出版年月：2004年 00月
装丁：PAP 言語：ENG 版次：2004. VIII

税込価格：

11,853円

海外在庫あり 通常２～５週間で出荷

Models, Mindsets, Meta: The What, the How, and the Why Not?

Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Lecture Notes in Computer Science .11200

Herausgegeben von Margaria, Tiziana Graf, Susanne Larsen, Kim G.

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2019年 00月
装丁：PAP 版次：1st ed. 2019. 2019. xv

税込価格：

11,853円

海外在庫あり 通常２～５週間で出荷