Bevásárlókosár
Jelenleg nincs más termék a kosaradban
-
Társkeresők15,11 € 16,79 €
Kobalt - A pekingi játszma16,46 € 19,36 €
Árnyhercegnő - Zodiákus Akadémia (Különleges kiadás)19,07 € 23,83 €
Tisztességes ajánlat (filmes borítóval)8,15 € 9,59 € -
-
Iron Flame - Vasláng26,06 €
Fourth Wing - Negyedik szárny20,26 €
0,54 € 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
