Program development by specification and transformation : the PROSPECTRA methodology, language family, and system
著者
書誌事項
Program development by specification and transformation : the PROSPECTRA methodology, language family, and system
(Lecture notes in computer science, 680)
Springer-Verlag, c1993
- : us
- : gw
大学図書館所蔵 件 / 全60件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index