Introduction to the Theory of Type Systems - Bevezetés a típusrendszerek elméletébe by Zoltán Csörnyei / Hardcover

UPC: 9789633121344 

MPN: 978-9633121344 

Brand Name: ELTE Eötvös Kiadó Kft. 

Product Type: Book 

Genre: Computer Science / Programming Theory 

Style: Academic, Educational

Overview

Zoltán Csörnyei’s Introduction to the Theory of Type Systems offers a concise and accessible guide to one of the most dynamically evolving areas in computer science. Type systems play a crucial role in software development, programming language design, and compiler construction. In the modern era of distributed, parallel, and multicore computing, understanding type systems is indispensable for both developers and researchers. This book provides a theoretical yet practical foundation for university students and IT professionals focusing on programming languages and compilers.

Hungarian Translation:

Csörnyei Zoltán Bevezetés a típusrendszerek elméletébe című könyve átfogó és közérthető bevezetést nyújt a számítástudomány egyik legdinamikusabban fejlődő területébe. A típusrendszerek alapvető szerepet játszanak a szoftverfejlesztésben, a programnyelvek tervezésében és a fordítóprogramok megalkotásában. A modern, elosztott, párhuzamos és sokmagos programozás korszakában ezek ismerete elengedhetetlen. A kötet szilárd elméleti és gyakorlati alapot kínál az egyetemi hallgatók és az informatikus szakemberek számára, akik a programozási nyelvek és a fordítók világában dolgoznak.

Product Features

• Author: Csörnyei Zoltán
• Publisher: ELTE Eötvös Kiadó Kft.
• Publication Year: 2012
• Place of Publication: Budapest
• Language: Hungarian
• Pages: 236
• Binding: Laminated Hardcover (fóliázott karton)
• Dimensions: 17.0 × 23.5 cm
• ISBN: 9789633121344 / 978-9633121344

Interesting Facts

Zoltán Csörnyei is an associate professor at the Faculty of Informatics, Eötvös Loránd University (ELTE), Department of Programming Languages and Compilers. His teaching and research focus on the semantics of programming languages, compiler construction, and the logical foundations of computation. This book serves not only as a textbook but also as a professional reference for software engineers interested in formal methods and type safety, bridging theory with applied software design.

Hungarian Translation:

Csörnyei Zoltán az Eötvös Loránd Tudományegyetem Informatikai Karának docense, a Programozási Nyelvek és Fordítóprogramok Tanszék oktatója. Kutatási területe a programozási nyelvek szemantikája, a fordítóprogramok felépítése és a számítás logikai alapjai. A könyv nemcsak tankönyvként, hanem szakmai kézikönyvként is használható mindazok számára, akik a formális módszerek és a típusrendszerek biztonságos alkalmazása iránt érdeklődnek, hidat képezve az elmélet és a gyakorlati szoftvertervezés között.

Publishers

Publisher: ELTE Eötvös Kiadó Kft. Location: Budapest Year: 2012

We value your feedback! Share your experience with this product to help others make informed decisions. Your review is important to us!

Hashtags

#TypeSystems #ProgrammingLanguages #ComputerScienceBook #ZoltanCsornyei #ELTEPress #CompilerTheory #SoftwareEngineering #FormalMethods #HungarianAcademicBook #InformaticsEducation

Hungarian Translation:

#Típusrendszerek #ProgramozásiNyelvek #Számítástechnika #CsörnyeiZoltán #ELTEKiadó #Fordítóprogramok #Szoftverfejlesztés #FormálisMódszerek #MagyarSzakirodalom #InformatikaiOktatás