FORMÁLIS MÓDSZEREK AZ INFORMATIKÁBAN
Ár: 3.230 Ft
Az informatika alkalmazásai sorozat Második kiadás Szerkesztette: Pataricza András Typotex Kiadó, 2006 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. A kötet adatai: Formátum: B/5 Megjelenés éve: 2006 Terjedelem: 312 oldal
Tulajdonságok
| A hirdető: | Kereskedés hirdetése |
| Értékesítés típusa: | Eladó |
| Könyvkereső: | Műszaki |
| Feladás dátuma: | 2024.05.17 |
| Eddig megtekintették 89 alkalommal | |
Könyvek rovaton belül a(z) "FORMÁLIS MÓDSZEREK AZ INFORMATIKÁBAN" című hirdetést látja. (fent)
