Termékek a kosárban

Összesen: 4 296 454 Ft

Tovább a kosárhoz

Még vásárolni szeretnék




Rocky könyv, DVD webáruház - Hűségprogram


Rocky könyv, DVD webáruház - Pénzvisszafizetési garancia


Rocky könyv, DVD webáruház - MPL PostaPont


Rocky könyv, DVD webáruház - ügyfélszolgálat

Pataricza András (szerk.) - Formális módszerek az informatikában

Formális módszerek az informatikában (Könyv)

Író:
Pataricza András (szerk.);

Kategória:
Könyv > Tankönyv, segédkönyv > Főiskola, egyetem;
3 230 Ft
(Eredeti ár: 3 800 Ft)
Megtakarítás: 15%
Szállítás: Bizonytalan



Tartalom:


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.


Kiadás éve: 2006
Oldalak száma: 312 oldal
Kötésmód: puhatáblás, ragasztókötött
ISBN: 9789639548909
EAN: 2017600004848





Oldal frissítés:

Tag-ek: Pataricza András (szerk.)