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.
Megvásárolható formátumok és részek |
---|
teljes könyv 1-295 - pdf Ár: 1 330 Ft |
Kosárba |
Ingyenesen megtekinthető részek |
---|
Tartalom - fejezet 5-6 pdf |
Előszó - fejezet 7-7 pdf |
Irodalom - fejezet 299-308 pdf |
Kedves Látogatónk!
Tájékoztatjuk, hogy a honlapon felhasználói élményének fokozása érdekében sütiket (cookie) alkalmazunk,
személyes adatait pedig az
Adatkezelési tájékoztató
szerint kezeljük. A honlap további böngészésével Ön hozzájárul a sütik használatához és személyes adatainak az
Adatkezelési Tájékoztató alapján történő kezeléséhez.