Leírás
Pataricza András: Formális módszerek az informatikában
A kötet az informatikai szakma igényeinek megfelelően igyekszik gyakorlatorientált szemlélettel bemutatni azokat a legfontosabb matematikai eszközöket, amelyek az informatikai rendszerek tervezési és ellenőrzési folyamataiban szerepet játszanak.
A könyv fókuszában a modellellenőrzés áll, amely egy olyan verifikációs technika, amely a rendszer egy véges modelljén bizonyítja be, hogy valamilyen megkövetelt tulajdonság teljesül.
A kötet szerzői a Budapesti Műszaki Egyetem oktatói, akik a könyvet a műszaki informatikus alapképzésben jegyzetként is használják. A könyv ugyanakkor igyekszik a gyakorló informatikusok számára is érthető és hasznosítható ismereteket nyújtani.
Vélemények
Erről a termékről még nem érkezett vélemény. Legyél te az első, aki véleményt ír a könyvről!
Paraméterek
| Szerző | Pataricza András |
| Kiadás éve | 2006 |
| Kötés | kartonált |
| Nyelv | magyar |
| Oldalszám | 308 |
| ISBN | 9789639548909 |