Formális módszerek az informatikában -
Szerző:TYPOTEX ELEKTRONIKUS KIADÓ
egyetem›Főiskola›Informatika›segédkönyv›Tankönyv

Formális módszerek az informatikában

Vonalkód (EAN / ISBN): 9789639548909

54,99 lei
/
Az ár az áfát tartalmazza.
🏪 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
⊘ Elfogyott
🚚 Ingyenes szállítás 200 lei felett · alatta 22 lei · 📦 Utánvét is
📩 Szólunk, ha újra elérhető
Csak erről a könyvről írunk, egyetlen egyszer. Nincs hírlevél, nincs spam.

Könyv adatok

Kategória
Könyv › Tankönyv, segédkönyv › Főiskola, egyetem › Informatika
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