この商品を友人に教える:
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems Dan Craigen 第1 版
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
Dan Craigen
Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. This title evaluates international industrial experience in using formal methods. It includes cases which are representative of industrial-grade projects.
318 pages
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 1995 |
| ISBN13 | 9780815513629 |
| 出版社 | William Andrew Publishing |
| ページ数 | 318 |
| 寸法 | 178 × 254 × 20 mm · 771 g |
| 言語 | 英語 |
