Megjelent! A Typotex Világirodalom sorozat legújabb tagja - Imma Monsó: Sosem lehet tudni
A Typotex Világirodalom sorozat legújabb tagja - Imma Monsó: Sosem lehet tudni
Tavaszi szünet az ELTE Pulton! Április 16. és 22. között a Könyvespult zárva tar! Nyitás április 23-án.
Hírek

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

Formális módszerek az informatikában

(2. kiadás)

ISBN 978-963-9548-90-9
ISBN-10 963-9548-90-1
312 oldal, B/5, fűzve
Webshop ár: 2470 Ft
Ára: 3800 Ft Akciós ár: 2470 Ft

Beteszem a kosaramba. 

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.

 

Széljegyzet

0 jegyzet, megjelenítése