Formális módszerek az informatikában -
egyetem›Főiskola›Informatika›segédkönyv›Tankönyv

Formális módszerek az informatikában

Vonalkód (EAN / ISBN): 9789639548909

54,99 lei
/
Adóval növelt ár.
🏪 Bolti átvétellel
52,24 lei
INGYEN átvétel · Sportului 4
−5% a pénztárnál:
📦 Csomagautomata: 16 lei · 🚚 Házhoz futár: 22 lei
150 lei felett INGYEN automata · 200 lei felett INGYEN futár
📦 Beszállítói raktár· 4-7 munkanap
Szállítási információ
Szállítási idő 4-7 munkanap
Feladás Partner raktárából · 4-7 munkanap
Személyes átvétel Elérhető 3-5 munkanapon belül (1-2 nappal a szállítás előtt)
👆 1-tap fizetés mobilról: Shop Pay · Apple Pay · G Pay

Könyv adatok

Kiadó
TYPOTEX ELEKTRONIKUS KIADÓ
Megjelenés éve
2006
Oldalszám
312
Kötés
puhatáblás, ragasztókötött
Nyelv
Magyar
ISBN
9789639548909

Leírás

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.

Ez is érdekelhet

Legutóbb megtekintett elemek