Specification and transformation of programs : a formal approach to software development
著者
書誌事項
Specification and transformation of programs : a formal approach to software development
（Texts and monographs in computer science）
Springer-Verlag, c1990
- : gw
- : us : alk. paper
- : gw : soft : student ed
- : u.s. : soft : student ed
大学図書館所蔵 件 / 全27件
-
: us : alk. paperC23.1/ P /1:6922046,
: u.s. : soft : student edC23.1/ P /1:5921840 OPAC
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical reference(p.[456]-474) and index
