言語
Bernardo Marco
概観
| 著作: | 2 作品に 3 出版物中に 1 言語 | |
|---|---|---|
タイトル
Formal methods for the design of real time systems: international school on formal methods ofr the design of computer...
…で:
Bernardo Marco; CorradiniFlavio
(言語・文字資料 (印刷物))
Formal methods for software architectures: Third International School on Formal Methods for the Design of Computer,...
…で:
Bernardo Marco; InverardiPaola
(言語・文字資料 (印刷物))