Részletes keresés

Törzsvásárlói pontegyenleg:

Törzsvásárló kártyám

Kedvezmény mértéke:

Törzsvásárló kártyám
/Regisztráció
Formális módszerek az informatikában
Kívánságlistához adom
Megosztom

Elérhető még:

Könyv
Antikvár könyv (6 db)

Formális módszerek az informatikában

E-könyv
Formális módszerek az informatikában
Kívánságlistához adom
Megosztom
(1 vélemény)

typotex elektronikus kiadó kft.  | 2013  | MAGYAR nyelvű

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.
+ Mutass többet - Mutass kevesebbet
Árinformációk
Online ár: 2 990 Ft

A termék megvásárlásával

299 pontot szerezhet

Legyen Ön is Törzsvásárlónk, Kártyájára akár 10% visszajár.

Azonnal letölthető

Kiadó typotex elektronikus kiadó kft.
Kiadás éve2013
NyelvMAGYAR
Formátum PDF
ISBN9789639548909
Árukód2466628 / 8100819

Elérhető még:

Könyv
Antikvár könyv (6 db)

Vásárlói értékelések, vélemények

(1 vélemény)

Kérjük, lépjen be az értékeléshez!

Árinformációk
Online ár: 2 990 Ft

A termék megvásárlásával

299 pontot szerezhet

Legyen Ön is Törzsvásárlónk, Kártyájára akár 10% visszajár.

Azonnal letölthető

A kategória legkedveltebb termékei

Fehér Krisztián - Grafikus és játékalkalmazások programozása
Grafikus és játékalkalmazások programozása

Fehér Krisztián

E-könyv
Árinformációk
Online ár: 2 990 Ft
Fehér Krisztián - Kezdő hackerek kézikönyve - avagy informatikai támadások és kivédésük
Kezdő hackerek kézikönyve - avagy informatikai támadások és kivédésük

Fehér Krisztián

E-könyv
Árinformációk
Online ár: 1 490 Ft
Antal Koós - Python a gépben
Python a gépben

E-könyv
Árinformációk
Online ár: 1 590 Ft
Kóródi Mihály - Számítógépes grafika mindenkinek
Számítógépes grafika mindenkinek

Kóródi Mihály

E-könyv
Árinformációk
Online ár: 1 590 Ft
Bártfai Barnabás - Számítógéphasználat kezdőknek
Számítógéphasználat kezdőknek

Bártfai Barnabás

E-könyv
Árinformációk
Online ár: 990 Ft
Sikos László - Adobe Photoshop zsebkönyv
Adobe Photoshop zsebkönyv

Sikos László

E-könyv
Árinformációk
Online ár: 690 Ft
Sikos László - Bevezetés a Linux használatába
Bevezetés a Linux használatába

Sikos László

E-könyv
Árinformációk
Online ár: 1 190 Ft
Viktor Mayer-Schönberger - Kenneth Cukier - Big data - Forradalmi módszer, amely megváltoztatja munkánkat, gondolkodásunkat és egész életünket
Big data - Forradalmi módszer, amely megváltoztatja munkánkat, gondolkodásunkat és egész életünket

E-könyv
Árinformációk
Online ár: 3 780 Ft
Stefan Mey - Darknet
Darknet

E-könyv
Árinformációk
Online ár: 2 890 Ft
Fehér Krisztián - Direct2D - DirectX programozás egyszerűen
Direct2D - DirectX programozás egyszerűen

Fehér Krisztián

E-könyv
Árinformációk
Online ár: 990 Ft

Új megjelenések

Fehér Krisztián - Alkalmazásfejlesztés Android Studio rendszerben
Alkalmazásfejlesztés Android Studio rendszerben

Fehér Krisztián

E-könyv
Árinformációk
Online ár: 1 190 Ft
Sikos László - Adobe Photoshop zsebkönyv
Adobe Photoshop zsebkönyv

Sikos László

E-könyv
Árinformációk
Online ár: 690 Ft
Bártfai Barnabás - Word a gyakorlatban
Word a gyakorlatban

Bártfai Barnabás

E-könyv
Árinformációk
Online ár: 1 290 Ft
Bártfai Barnabás - Makróhasználat Excelben
Makróhasználat Excelben

Bártfai Barnabás

E-könyv
Árinformációk
Online ár: 990 Ft
Huszár István - Tárgyiasult ötletek
Tárgyiasult ötletek

Huszár István

E-könyv
Árinformációk
Online ár: 1 990 Ft
Fehér Krisztián - AJAX adatbázis-kezelés Javascript alapon
AJAX adatbázis-kezelés Javascript alapon

Fehér Krisztián

E-könyv
Árinformációk
Online ár: 990 Ft
Nagy Róbert - DarkNet - avagy az internet sötét oldala
DarkNet - avagy az internet sötét oldala

Nagy Róbert

E-könyv
Árinformációk
Online ár: 1 590 Ft
Fehér Krisztián - Kezdő hackerek kézikönyve - avagy informatikai támadások és kivédésük
Kezdő hackerek kézikönyve - avagy informatikai támadások és kivédésük

Fehér Krisztián

E-könyv
Árinformációk
Online ár: 1 490 Ft
Bártfai Barnabás - Számítógéphasználat mindenkinek - Windows 10 és Office 2016 programokkal
Számítógéphasználat mindenkinek - Windows 10 és Office 2016 programokkal

Bártfai Barnabás

E-könyv
Árinformációk
Online ár: 1 990 Ft
Bártfai Barnabás - Excel 2019 zsebkönyv
Excel 2019 zsebkönyv

Bártfai Barnabás

E-könyv
Árinformációk
Online ár: 990 Ft
Sikos László - Bevezetés a Linux használatába
Bevezetés a Linux használatába

Sikos László

E-könyv
Árinformációk
Online ár: 1 190 Ft
Nagy Róbert - Influencer videók készítése netre
Influencer videók készítése netre

Nagy Róbert

E-könyv
Árinformációk
Online ár: 1 190 Ft
Csatári Bence: KóborCsatári Bence: Kóbor