Annak érdekében, hogy megkönnyítsük látogatóinknak a webáruház használatát, oldalunk cookie-kat használ. Weboldalunk böngészésével Ön beleegyezik, hogy számítógépén / mobil eszközén cookie-kat tároljunk. A cookie-khoz tartozó beállításokat a böngészőben lehet módosítani.




Kezdőlap » Szakkönyvek - Typotex Kiadó » Formális módszerek az informatikában


    

Formális módszerek az informatikában

Új

Készleten

 

Szerző: Pataricza András
ISBN: 978-963-9548-90-9
Ennél a terméknél nem használható fel kedvezménykupon.
Ár (nettó) : 3 619 Ft
Ár (bruttó) (5 %):
3 800 Ft

Vásárolni kívánt mennyiség:
  db  

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.

  • Nyelv: Magyar
  • Oldal: 312
  • Megjelenés: 2006

FELHASZNÁLÓINK VÉLEMÉNYEI

Még nem érkezett hozzászólás. Legyen Ön az első, aki hozzászól! Írja meg kérdését, észrevételét!

NDE5ZTA5Nm