Models, algebras and logic of engineering software
著者
書誌事項
Models, algebras and logic of engineering software
（NATO science series, ser. 3 . Computer and Systems sciences ; v. 191）
IOS Press , Ohmsha, c2003
- : IOS Press
- : Ohmsha
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"Published in cooperation with NATO Scientific Affairs Division"
"Proceedings of the NATO Advanced Study Insitute on Models, Algebras and Logic of Engineering Software, Marktoberdorf, Germany, 30 July - 11 August 2002"--T.p. verso
Includes bibliographical references and index
