Formális módszerek az informatikában

August 15, 2019   |   by admin

András  Pataricza (Szerk.) - Formális módszerek az informatikában

Letöltés Formális módszerek az informatikában könyvet pdf, epub és mobi

Formális módszerek az informatikában.pdf
Formális módszerek az informatikában.epub
Formális módszerek az informatikában.mobi



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.

Töltse le az ingyenes PDF Formális módszerek az informatikában fájlt. Töltsön le több ezer ebook-ot, könyvet, regényt EPUB, MOBI formátumban, PDF-t ingyenesen és regisztráció nélkül a honlapunkon. Honlapunk egy ingyenes blog, amely lehetővé teszi ingyenes pdf-könyvek, digitális könyv letöltését, minden pdf-könyvet ingyenesen. Általában ez a könyv 10,00 EUR-t fizetett. Itt ingyenesen letöltheti ezt a könyvet PDF formátumban anélkül, hogy többet kellene költenie. A Formális módszerek az informatikában PDF letöltéséhez ingyenesen kattintson az alábbi letöltési linkre.

Formális módszerek az informatikában letöltés könyvet pdf, epub és mobi

Kiadó:
ISBN:
9789639548909
Nyelv:
MAGYAR
Kiadás éve:
2013
Árukód:
2466628 / 8100819
Formátum:
PDF

Leave Your Comment