9639548901
| dc.date.accessioned | 2008-11-20T10:58:26Z | |
| dc.date.available | 2008-11-20T10:58:26Z | |
| dc.description.abstract | 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ö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. | hu |
| dc.identifier.bibid | bibDEK00630393 | hu |
| dc.identifier.isbn | 9639548901 | hu |
| dc.identifier.opac | http://webpac.lib.unideb.hu:8082/WebPac/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+bibDEK00630393 | hu |
| dc.identifier.uri | http://hdl.handle.net/2437/21510 | |
| dc.title | 9639548901 | hu |