Formal methods and hybrid real-time systems : essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays
著者
書誌事項
Formal methods and hybrid real-time systems : essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays
（Lecture notes in computer science, 4700）
Springer, c2007
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"Festschrift"--Cover
Includes bibliographies and index