Pastāsti draugiem par šo preci:
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems Dan Craigen 1. izdevums
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Dan Craigen izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 1995 |
| ISBN13 | 9780815513629 |
| Izdevēji | William Andrew Publishing |
| Lapas | 318 |
| Izmēri | 178 × 254 × 20 mm · 771 g |
| Valoda | Angļu |
