FORMÁLIS MÓDSZEREK AZ INFORMATIKÁBAN (2006)
FORMÁLIS MÓDSZEREK AZ INFORMATIKÁBAN (2006)
2 850 Ft-tól
2 ajánlat
Ajánlataink FORMÁLIS MÓDSZEREK AZ INFORMATIKÁBAN (2006) termékre
Ajánlataink a termékre
Paraméterek, termékleírás - FORMÁLIS MÓDSZEREK AZ INFORMATIKÁBAN (2006)
Termékleírás
| Nyelv | magyar |
| Oldalszám | 308 |
Hibát talált a leírásban vagy az adatlapon? Jelezze nekünk!
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
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
Oldalainkon a partnereink által szolgáltatott információk és árak tájékoztató jellegűek, melyek esetlegesen tartalmazhatnak téves információkat. A képek csak tájékoztató jellegűek és tartalmazhatnak tartozékokat, amelyek nem szerepelnek az alapcsomagban. A termékinformációk (kép, leírás vagy ár) előzetes értesítés nélkül megváltozhatnak. Az esetleges hibákért, elírásokért az Árukereső nem felel.
