EGÉSZSÉGES EGYÉN - BETEG TÁRSADALOM? - A HAMIS ILLÚZIÓK BIZTONSÁGA

Az oldal csupán könyvajánló weblap, a könyvek tartalma, sem részben, sem egészben le NEM tölthető.
Szerzo: Dr. Csernus Imre - Mohás Lívia - Popper Péter
Pontszám: 10/0
ISBN száma: 9789637168543
Értékeld a könyvet!

1
2
3
4
5
6
7
8
9
10
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. 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./konyv/egeszseges-egyen-beteg-tarsadalom.html
Kategóriák: