Vásároljon könyvet mobil készülékével egyszerűen.
1 670 din.
Várható szállítási idő
18 munkanap.

Formális módszerek az informatikában

Typotex Kiadó, 2006
  • 312 oldal
  • Kötés: PUHATÁBLÁS, RAGASZTÓKÖTÖTT
  • ISBN: 9789639548909

2.javított kiadás. A kötet szerzői a Budapesti Műszaki Egyetem oktatói. - Ismertető: 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.- További ismertető: "Belelapozás".