9639548081
| dc.date.accessioned | 2008-12-14T00:57:44Z | |
| dc.date.available | 2008-12-14T00:57:44Z | |
| dc.description.abstract | 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. | hu |
| dc.identifier.bibid | bibFSZ977905 | hu |
| dc.identifier.isbn | 9639548081 | hu |
| dc.identifier.opac | http://webpac.lib.unideb.hu:8082/WebPac/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+bibFSZ977905 | hu |
| dc.identifier.uri | http://hdl.handle.net/2437/60207 | |
| dc.title | 9639548081 | hu |