B 2007: formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 proceedings
著者
書誌事項
B 2007: formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 proceedings
(Lecture notes in computer science, 4355)
Springer, 2006
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する