Ajax-loader

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.

Kapcsolódó könyvek

Értékelések

Rukkola értékelés
-/5

Statisztika

5.3
átlagos pontszám i
0
aktív példány
0 példány értesítés alatt
0 prerukkolt példány
0 elérhető példány
0 eladó példány
0
stoppolás
0
kívánságlistán
0
folyamatban lévő rukk / happ

Címkék

Kollekciók