Oldalszám: 312 oldal, méret: B5
ISBN: 978 963 954 890 9
Témakör: Informatika
Sorozat: Az informatika alkalmazásai
Formális módszerek az informatikában
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.
Bartha Tamás - Csertán György - Majzik István - Pataricza András - Varró Dániel - Varró-Gyapay Szilvia: Formális módszerek az informatikában című e-könyve elérhető az Interkönyv oldalán a következő formátumokban: pdf.
Oldalszám: 312 oldal, méret: B5
ISBN: 978 963 954 890 9
Témakör: Informatika
Sorozat: Az informatika alkalmazásai
| Megnevezés |
|---|
| teljes könyv 1-295 - pdf |
| Olvasás |
| fejezet 5-6 - pdf |
| Olvasás |
| fejezet 7-7 - pdf |
| Olvasás |
| fejezet 299-308 - pdf |
| Olvasás |
| Megnevezés | Oldalak | Olvasás | Jegyzet |
Letöltés/ nyomtatás |
|---|---|---|---|---|
| Formális módszerek az informatikában - teljes könyv | 1-295 | |||
| Tartalom - fejezet | 5-6 | |||
| Előszó - fejezet | 7-7 | |||
| Irodalom - fejezet | 299-308 |
Ez a könyv összesen 312 oldalas,
ennek 25%-a,
azaz 78 oldal nyomtatható.
Kérjük, vesszővel elválasztva adja meg azokat az oldalakat vagy tartományokat, amelyeket
letölteni vagy nyomtatni szeretne, például „1, 3, 6, 23-25”;
vagy kattintson a fenti táblázat egyes fejezetsorainak végén található
ikonra.
A már korábban letöltött részeket az oldal alján a Letöltött/nyomtatott részek listában találja meg, onnan töltheti le, valamint nyomtathatja ki többször is.
