Bevásárlókosár
Jelenleg nincs más termék a kosaradban
-
Társkeresők79,01 lei 87,79 lei
Kobalt - A pekingi játszma86,09 lei 101,28 lei
Árnyhercegnő - Zodiákus Akadémia (Különleges kiadás)99,72 lei 124,65 lei
Tisztességes ajánlat (filmes borítóval)42,63 lei 50,15 lei -
Bogyó és Babóca - Csengettyűk90,81 lei
180 jóéjtmese75,64 lei
Két kis dínó a zsírkrétakorban68,06 lei -
Iron Flame - Vasláng136,33 lei
Fourth Wing - Negyedik szárny105,99 lei
The Sinner - A bűnös - (Különleges kiadás)121,16 lei
2,83 lei 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
