A típusrendszerek elmélete a számítástudomány jelenleg is intenzíven fejlődő területe. A típusrendszerek komoly szerepet játszanak a szoftverfejlesztésben, a programok írásában és fordításában, az utóbbi időben pedig rendkívül nagy szerepet kaptak a programnyelvek tervezésében és az elosztott, párhuzamos és sokmagos programozásban. Könyvünkkel elsősorban a programnyelvekkel foglalkozó egyetemi hallgatók és informatikus szakemberek munkáját szeretnénk segíteni. Csörnyei Zoltán egyetemi docens, az Eötvös Loránd Tudományegyetem Informatikai Karán a Programozási Nyelvek és Fordítóprogramok Tanszék tanára.
A kötet adatai:
Kötés: fóliázott karton
Megjelenés éve: 2012
Terjedelem: 323 oldal