FORMÁLIS MÓDSZEREK AZ INFORMATIKÁBAN

-15%
FORMÁLIS MÓDSZEREK AZ INFORMATIKÁBAN

Az informatika alkalmazásai sorozat

Második kiadás

Szerkesztette: Pataricza András

Typotex Kiadó, 2006

 

 

3 800 Ft
Akció: 3 230 Ft
Kezdete: 2019.01.29   A készlet erejéig!
Kedvencekhez
Ajánlom
Nyomtat
Összehasonlítás
Részletek
Ajánlatunk Önnek!
Adatok
Vélemények
Részletek

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

Ajánlatunk Önnek!
Adatok
ISBN
978-963-9548-90-9
Kiadó
Typotex Kiadó
VTSZ
4 901
Vélemények
Legyen Ön az első, aki véleményt ír!
Webáruház készítés
shopmania.hu arfalo.hu aprohirdetesingyen.hu arumagazin.hu vatera.hu