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:
🚚 Automatába 16 lei · házhoz 22 lei · boltban ingyen
150 lei felett ingyen automata · 200 lei felett futár
⊘ Elfogyott
📩 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