The spine of software : designing provably correct software--theory and practice or a mathematical introduction to the semantics of computer programs
著者
書誌事項
The spine of software : designing provably correct software--theory and practice or a mathematical introduction to the semantics of computer programs
Wiley, c1987
- タイトル別名
-
Mathematical introduction to the semantics of computer programs
大学図書館所蔵 件 / 全12件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Subtitle: Being a treatise on the mathematical foundations and principles of computer programming for software engineers and those who would be or become such
Includes index
