--
Adblock
Kiadványok
Doktori értekezés
Folyóirat
ABC sorrendben
Tudományágak szerint
Árpolitika
Online folyóiratok
Humán- és társadalomtudomány
Állam- és jogtudomány
Filozófia és logika
Gazdasági tudományok
Irodalomtudomány
Kommunikáció
Média, filmelmélet
Művelődéstörténet
Művészettörténet
Néprajz
Nyelvtudomány
Ókortudomány
Orientalisztika
Pedagógia
Politológia
Pszichológia
Régészet
Sámánisztika
Szépirodalom
Szociológia
Tudomány- és technikatörténet
Történettudomány
Vallástudomány
Zenetudomány
Lexikon
Nyelvkönyv
Angol
Német
Francia
Sorozat
Szótár
Angol
Német
Francia
Olasz
Spanyol
Latin
Magyar egynyelvű szótárak
Finn
Héber
Holland
Horvát
Orosz
Portugál
Román
Svéd
Szerb
Török
Újgörög
Természettudomány
Agrártudomány
Biofizika
Biológia
Botanika
Fizika
Földrajz
Földtudományok
Informatika
Kémia
Környezettudomány
Matematika
Műszaki tudományok
Orvostudomány
Zoológia
AEK
Aktiválás
GYIK
Kapcsolat
Letöltés
Súgó
Szótárdemó
Akció
Aktuális
Díjak, pályázatok
Események
Halász Előd Alapítvány
Hírlevél
Nyereményjáték
Rólunk írták
Sajtószoba
Magunkról
Elérhetőségek
Vásárlási, szállítási és számlázási információk
Olvasószoba
Partnereink
Rendeléseim
Tanári klub
Pontjaim
English
|
Magyar
Hírlevél
feliratkozás
leiratkozás
Küldés
Keresés
részletes keresés
Belépés
név
jelszó
OK
Regisztráció
KIADVÁNYOK
Doktori értekezés
Folyóirat
Humán- és társadalomtudomány
Lexikon
Nyelvkönyv
Sorozat
Szótár
Természettudomány
Agrártudomány
Biofizika
Biológia
Botanika
Fizika
Földrajz
Földtudományok
Informatika
Kémia
Környezettudomány
Matematika
Műszaki tudományok
Orvostudomány
Zoológia
ELEKTRONIKUS SZÓTÁRAK
Aktiválás
GYIK
Kapcsolat
Letöltés
Súgó
Szótárdemó
AKCIÓ
AKTUÁLIS
Díjak, pályázatok
Események
Halász Előd Alapítvány
Hírlevél
Sajtószoba
MAGUNKRÓL
Elérhetőségek
Vásárlási, szállítási és számlázási információk
Vásárlási feltételek
OLVASÓSZOBA
PARTNEREINK
RENDELÉSEIM
TANÁRI KLUB
Pontjaim
Szabályzat
Jelentkezés
Megrendelés
Főoldal
/
KIADVÁNYOK
/
Természettudomány
/
Matematika
Ferenczi Miklós
Patraricza András
Rónyai Lajos
Formal Methods in Computing
Kategória:
Matematika
Oldalszám:
436
Formátum:
B5
Borító:
kemény, papír
ISBN:
9630582589
Kiadás éve:
2005
Bolti ár:
4 900 Ft
Online ár (-15%):
4 165 Ft
Kosárba
Rövid ismertető:
This collection of tutorials has been written by the members of the Working Group on Formal Methods at the Regional Centre of the Hungarian Academy of Sciences, Veszprém (VEAB). The group was composed of mathematicians and engineers, all of them with strong interest in computation. The main idea leading to the cooperation was that the ever-growing complexity of systems in information technology makes their design and implementation process uncontrollable by traditional, mostly intuitive engineering methods. The present collection of tutorials, which, according to our hopes, is intended to be the first in a series, provides the reader with concise summaries on some selected fields of mathematics and computer science, which have significance from the practical perspectives of information engineering.
Akik ezt vették, ezt vásárolták még
cím
szerző
kategória
online ár
Language Abilities in Williams Syndrome
Lukács Ágnes
Pszichológia
4819 Ft
Honlapunk bevezető játékának nyertesei
Ingyenesen elérhető elektronikus nagyszótárak, lexikonok és nyelvvizsgára előkészítő anyagok
Serendipity
Einstein és a magyarok
Gazda István
A fizika kultúrtörténete a kezdetektől 1990-ig
Simonyi Károly
Az Ön kosarában jelenleg
0
kiadvány van
0 Ft
értékben.
0 %
20 000 Ft
kosárérték felett ingyenes a kiszállítás, melyhez még
20 000 Ft
értékű rendelés szükséges.
Cégismertető
,
Hírlevelek
,
Vélemények
,
Események
,
Impresszum
,
-
Honlaptérkép
,
-
FAQ
,
-
Adatvédelem
,
-
Elérhetőség
,
(c) Akadémiai Kiadó, 2005. Minden jog fenntartva.