- Főoldal
- Könyvek
- Természettudomány
- Műszaki tudományok
- Formális módszerek az informatikában
Személyes átvétel boltunkban (azonnal átvehető)
vagy átvételi ponton (legfeljebb 2 nap)
vagy átvételi ponton (legfeljebb 2 nap)
Személyes átvétel
Pick Pack ponton
Budapesten 3 munkanap
vidéken 4 munkanap
Pick Pack ponton
Budapesten 3 munkanap
vidéken 4 munkanap
Házhoz szállítás
legfeljebb 3 munkanap
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:
-
A problémamegoldás számítógépes iskolája
Simonovits-Fried
-
Válogatott fejezetek a komfortelmélet témakörébő
Bánhidi László
-
Tanuljuk meg a JavaScript használatát
Michael Moncur
-
Tanuljuk meg az XML használatát
Michael Morrison
-
Térkép-tudomány (13. Studia Cartologica)
Zentai László (szerk.)
-
Tanuljuk meg az Adobe Photoshop CS3 használatát
Carla Rose, Kate Binder
