この商品をご覧のお客様は、こんな商品もチェックしています。
- 紛争・開発・安全保障
-
価格:3,850円(本体3,500円+税)
【2025年03月発売】
- 勉強できる子は○○がすごい
-
価格:990円(本体900円+税)
【2022年07月発売】
- 信頼性工学入門 新版
-
価格:2,970円(本体2,700円+税)
【2010年07月発売】
- ローヤリングの考え方
-
価格:3,520円(本体3,200円+税)
【2022年07月発売】
- 〈ほんとうの自分〉のつくり方
-
価格:946円(本体860円+税)
【2002年01月発売】
[BOOKデータベースより]
本書は、ソフトウェアの基本問題を、最新の技術的、学問的成果に基づいて、それぞれの領域の第一人者による吟味考察を経て、今日的課題に応えるために、集大成された斯界の研究者・技術者待望のアドバンスハンドブックです。技術者・研究者座右の書!
1. 情報の構造とその表現
2. 要求分析とその仕様化技法
3. ソフトウェアの代数的仕様記述の理論
4. 代数的言語の設計と処理系
5. コンパイラの構造
6. プログラミング方法論と言語機能
7. ソフトウェアの検証
8. 知識ベースとソフトウェア開発
9. 協同処理の構成と記述
10. 分散処理とコミュニケーション
11. 仮想記憶の管理技術
12. セキュリティ
13. 高信頼度ソフトウェアの構造
14. ソフトウェアの開発環境
15. CADにおける階層化ソフトウェアとそのツール
16. ローカルエリアコンピュータネットワークの開発と評価手法