ELTE könyv webáruház

Elte kiadó webshop

Részletes keresés

Default welcome msg!

Formális módszerek az informatikában

Formális módszerek az informatikában

Szerző: Pataricza András

Kiadás éve: 2006

Kiadó: Typotex Kft.

Nyelv: magyar

ISBN: 9789639548909

Kötés: kartonált

Oldalszám: 308

Állapot: Rendelhető

Normál ár: 3 800 Ft

Eötvös ár: 3 610 Ft

A te árad:
3 610 Ft

Raktáron

Személyes átvétel boltunkban (azonnal átvehető)
vagy átvételi ponton (legfeljebb 2 nap)
Személyes átvétel
Pick Pack ponton
Budapesten 3 munkanap
vidéken 4 munkanap
Házhoz szállítás
legfeljebb 3 munkanap

Részletes leírás


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.<br />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. <br />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.

Kategória további termékei: