Látogatásod során cookie-kat használunk, amelyek segítenek számunkra testreszabott tartalmat és hirdetéseket megjeleníteni, személyes információkat azonban nem tárolnak. Az oldal használatával elfogadod a cookie-k használatát. További információ itt »
A kötet azokat a legfontosabb matematikai szabatosságot lehetővé tevő modellezési eszközöket mutatja be, amelyek a mind bonyolultabbá váló informatikai rendszerek tervezése, analízise és ellenőrzése során a mai információtechnikai gyakorlatban is mind nagyobb szerepet játszanak. A könyv egységes szerkezetben tárgyalja a formális verifikáció és validáció céljait szolgáló legfontosabb modellezési eszközöket és matematikai paradigmákat. A formális modellezés és ellenőrzés alapvető fogalmait és módszereit a Petri-hálókon keresztül vezeti be. A rendszerek helyességének bizonyításában kulcsszerepet játszó követelményanalízist a temporális logikák példáján keresztül illusztrálja.
Épp nincs olyan üzlet, vagy webáruház a globalplazán, ahol ez a termék kapható. Lent mutatjuk a nagyon hasonló termékeket, nézd meg:
A kötet azokat a legfontosabb matematikai szabatosságot lehetővé tevő modellezési eszközöket mutatja be, amelyek a mind bonyolultabbá váló informatikai rendszerek tervezése, analízise és ellenőrzése során a mai információtechnikai gyakorlatban is mind nagyobb szerepet játszanak. A könyv egységes szerkezetben tárgyalja a formális verifikáció és validáció céljait szolgáló legfontosabb modellezési eszközöket és matematikai paradigmákat. A formális modellezés és ellenőrzés alapvető fogalmait és módszereit a Petri-hálókon keresztül vezeti be. A rendszerek helyességének bizonyításában kulcsszerepet játszó követelményanalízist a temporális logikák példáján keresztül illusztrálja.