Ez az oldal sütiket használ
A www.typotex.hu webáruházának felületén sütiket (cookies) használ, vagyis a rendszer adatokat tárol az Ön böngészőjében. A sütik személyek azonosítására nem alkalmasak, szolgáltatásaink biztosításához szükségesek. Az oldal használatával Ön beleegyezik a sütik használatába. További információért kérjük, olvassa el adatvédelmi elveinket!
0 db
0 Ft
Felhasználó neve / E-mail cím

Jelszó

Elfelejtett jelszó
 
 
 
Kiadás: (2. kiadás)
Megjelenés: 2006
Oldalszám: 312 oldal
Formátum: B/5, fűzve
ISBN: 978-963-9548-90-9
Témakör: Informatika
Sorozat: Az informatika alkalmazásai

Eredeti ár: 3800 Ft
Webshop ár: 2850 Ft

KOSÁRBA
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.

 

AJÁNLOTT KÖNYVEK