Weboldalunk használatával jóváhagyja a cookie-k használatát a Cookie-kkal kapcsolatos irányelv értelmében.

Pataricza András: Formális módszerek az informatikában

3.610 Ft (3.438 Ft + ÁFA)
Menny.:db
Nem értékelt
Gyártó: Typotex Kft.
Szállítási díj: 690 Ft
Várható szállítás: 2022. január 20.

Leírás

Pataricza András: 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.

Vélemények

Erről a termékről még nem érkezett vélemény. Legyél te az első, aki véleményt ír a könyvről!

Paraméterek

Szerző Pataricza András
Kiadás éve 2006
Kötés kartonált
Nyelv magyar
Oldalszám 308
ISBN 9789639548909