Bevásárlókosár
Jelenleg nincs más termék a kosaradban
-
Társkeresők17,55 $ 19,49 $
Kobalt - A pekingi játszma19,12 $ 22,49 $
Árnyhercegnő - Zodiákus Akadémia (Különleges kiadás)22,14 $ 27,68 $
Tisztességes ajánlat (filmes borítóval)9,47 $ 11,14 $ -
-
Iron Flame - Vasláng30,27 $
Fourth Wing - Negyedik szárny23,54 $
0,63 $ hűségpontot kapsz, minden megvásárolt 1 darab könyv után. A hűségpontokat felhasználhatod a következő rendeléseid kifizetésére... #részletek>
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.
- Szerző
- Pataricza András (szerk.)
- VTSZ
- 4901100000
- Kiadó
- Typotex Kiadó
- Kiadás éve
- 2006
- Kötés
- puhatáblás, ragasztókötött
- Oldalszám
- 312
- Érzékeny tartalom
- false
- Könyvtörvény
- false
- Eredeti cím
- Formális módszerek az informatikában
- ISBN
- 9789639548909
- Best Seller
- Nem
22:36624
Nincs értékelés
Koppintson a nagyításhoz
