Pataricza András (szerk.)
Formális módszerek az informatikában - Saját képekkel
Typotex Kiadó, 2006
- 312 oldal
- Kötés: karton
- jó állapotú antikvár könyv
- ISBN: 9639548903
- Szállító: Antikvár Könyvkínáló
- Saját képekkel (állapotfotó). Szinte kinyitatlan, jó állapotú példány. Könyvízelítő/ismertető (ld. "Belelapozás").
2., javított kiadás - Ismertető: 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.- További ismertető: "Belelapozás".