Bevásárlókosár
Jelenleg nincs más termék a kosaradban
-
Elítéltek - (Különleges kiadás)5 179 Ft 6 093 Ft
A titkok titka7 057 Ft 8 302 Ft
Társkeresők5 657 Ft 6 286 Ft
Kobalt - A pekingi játszma6 164 Ft 7 252 Ft
Árnyhercegnő - Zodiákus Akadémia (Különleges kiadás)7 140 Ft 8 925 Ft
Tisztességes ajánlat (filmes borítóval)3 052 Ft 3 591 Ft -
Bogyó és Babóca - Csengettyűk6 289 Ft
180 jóéjtmese5 242 Ft
Két kis dínó a zsírkrétakorban4 716 Ft -
Iron Flame - Vasláng9 443 Ft
Fourth Wing - Negyedik szárny7 340 Ft
187 Ft 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
