{"product_id":"formalis-modszerek-az-informatikaban","title":"Formális módszerek az informatikában","description":"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.\u003cspan class=\"booksy-isbn-search\" style=\"position:absolute;left:-9999px;width:1px;height:1px;overflow:hidden;\" aria-hidden=\"true\"\u003eISBN: 9789639548909\u003c\/span\u003e","brand":"Booksy","offers":[{"title":"Default Title","offer_id":56570795524482,"sku":"9789639548909","price":54.99,"currency_code":"RON","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0933\/1500\/6850\/files\/2000005887200.jpg?v=1776426863","url":"https:\/\/www.booksy.ro\/products\/formalis-modszerek-az-informatikaban","provider":"Booksy","version":"1.0","type":"link"}