Az edu.interkonyv.hu weboldal felületén sütiket (cookies) használ, vagyis a rendszer adatokat tárol az Ön böngészőjében. A sütik személyek azonosítására nem alkalmasak, szolgáltatásaink biztosításához szükségesek. Az oldal használatával Ön beleegyezik a sütik használatába. További információért kérjük, olvassa el adatvédelmi elveinket!
Megnevezés | Oldalak | Méret | |
---|---|---|---|
Formális módszerek az informatikában (teljes e-könyv) |
1-308 | 4.4 MB | |
Tartalom |
5-6 | 218 kB | ![]() |
Előszó |
7-7 | 216 kB | ![]() |
1. 1. Bevezetés |
9-29 | 342 kB | ![]() |
2. 2. Petri hálók |
31-108 | 576 kB | ![]() |
3. 3. Temporális logikák és modell ellenőrzés |
109-169 | 507 kB | ![]() |
4. 4. Állapottérképek |
171-209 | 398 kB | ![]() |
5. 5. Modellezés adatfolyam hálókkal |
211-244 | 374 kB | ![]() |
6. 6. Absztrakt állapotgépek |
245-263 | 316 kB | ![]() |
7. 7. Metamodellezés |
265-276 | 270 kB | ![]() |
8. 8. Gráftranszformáció |
277-297 | 335 kB | ![]() |
Irodalom |
299-308 | 247 kB | ![]() |