--
Főoldal
Adblock
English | Magyar
Hírlevél Küldés
     
       részletes keresés
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


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.




Hírek

Ajánlatunk
Serendipity
Einstein és a magyarok
Gazda István
A fizika kultúrtörténete a kezdetektől 1990-ig
Simonyi Károly
Kosár
(c) Akadémiai Kiadó, 2005. Minden jog fenntartva.