Software Foundations, Volume 1: Logical Foundations

Software Foundations, Volume 1: Logical Foundations

Benjamin C. Pierce , Arthur Azevedo de Amorim , Chris Casinghino
لا توجد تقييمات بعد
2017 · الإنجليزية · كتاب إلكتروني
أضف إلى الرف

قيم هذا الكتاب


تصدير مجلة الكتاب

الوصف

Exploring the intricate world of software, this volume offers a captivating journey through the logical foundations essential for understanding programming languages and their design. With a team of expert authors, readers are invited to tackle complex concepts in a friendly and approachable manner, making the seemingly intimidating world of logic and mathematics feel accessible.

As it delves into topics ranging from functional programming to type systems, the text is peppered with engaging examples that illuminate the practical aspects of abstract theories. Each chapter builds upon the last, creating a cohesive guide that's perfect for both newcomers and those looking to brush up on their skills.

The collaboration of experienced educators and researchers ensures a rich learning experience, encouraging readers to think critically and develop a deeper appreciation for the principles that govern software development. It's not just about absorbing information; it's about fostering a genuine understanding of how software works under the hood.

تفاصيل الكتاب

تنسيق كتاب إلكتروني
صفحات 325 صفحات
لغة الإنجليزية
منشور Sep 6, 2017
أضف إلى الرف

قيم هذا الكتاب


تصدير مجلة الكتاب