Az informatika alkalmazásai sorozat Második kiadás Szerkesztette: Pataricza
András Typotex Kiadó, 2006 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. A kötet adatai: Formátum: B/5 Megjelenés éve: 2006
Terjedelem: 312 oldal