Nincs még értékelve, légy te az első!

1 kép

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.

Épp nincs olyan üzlet, vagy webáruház a globalplazán, ahol ez a termék kapható. Lent mutatjuk a nagyon hasonló termékeket, nézd meg:

Formális módszerek az... ár és hasonló termékek

220613 Mikroszűrős porzsák, 5 db ASPICO 220613 Mikroszűrős porzsák, 5 db 1 499 Ft Media Markt A bolthoz Info
ZEPP02B fekete vezeték nélkül tölthető powerbank 5200 mAh ZENS ZEPP02B fekete vezeték nélkül tölthető powerbank 5200 mAh 9 999 Ft Media Markt A bolthoz Info
CELIANE VÁLTÓKAPCSOLÓ 10A MECHANIZMUSSAL LEGRAND CELIANE VÁLTÓKAPCSOLÓ 10A MECHANIZMUSSAL 3 799 Ft Praktiker A bolthoz Info
53749 ST USB3.0KÁBEL 0,75M A-MICROB HAMA 53749 ST USB3.0KÁBEL 0,75M A-MICROB 2 698 Ft Media Markt A bolthoz Info
DEVI2 FEHÉR FAKÉPKERET 30X40 CM 2 CM SZÉLES DEVI2 FEHÉR FAKÉPKERET 30X40 CM 2 CM SZÉLES 4 299 Ft Praktiker A bolthoz Info
PORTO FÖLDELT DUGASZOLÓALJZAT IP44 GYVÉDETT, SÜLLYESZTETT (296088) ANCO PORTO FÖLDELT DUGASZOLÓALJZAT IP44 GYVÉDETT, SÜLLYESZTETT (296088) 1 599 Ft Praktiker A bolthoz Info
1500/REMOT Power Remote, távvezérlő PowerCube Remote -hoz, kapcsoló, fehér-narancs ALLOCACOC 1500/REMOT Power Remote, távvezérlő PowerCube Remote -hoz, kapcsoló, fehér-narancs 3 999 Ft Media Markt A bolthoz Info
Cool Control tejhabosító, 1 liter, fekete JURA Cool Control tejhabosító, 1 liter, fekete 63 599 Ft Media Markt A bolthoz Info
Többi Formális módszerek az... listázása

Hasonló kategóriák

Cross kerékpár

Cross kerékpár
Sütemény, tortaszelet

Sütemény, tortaszelet
Egyéb húsok

Egyéb húsok
Szórakoztató elektronika

Szórakoztató elektronika
Karosszéria

Karosszéria
Egyéb ütősportok

Egyéb ütősportok
Strandfelszerelés

Strandfelszerelés

Formális módszerek az informatikában jellemzők

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.

Műszaki hírek

Hogyan vásárolj snowboardot?

Hogyan vásárolj snowboardot?
Hogyan vásárolj snowboardcipőt és -kötést?

Hogyan vásárolj snowboardcipőt és -kötést?
Hogyan vásárolj forgószéket?

Hogyan vásárolj forgószéket?
Járd be a legszebb tájakat elektromos biciklivel!

Járd be a legszebb tájakat elektromos biciklivel!

Elektromos biciklik kedvezményesen a Praktikerben.