ספר לימוד זה הוא מבוא יסודי ומעודכן לעקרונות ולטכניקות המנחים את התכנון והיישום של שפות תכנות מודרניות. מטרת הספר היא לספק את הבסיס להבנה ביקורתית של רוב שפות התכנות המודרניות. לפיכך, במקום להתמקד בשפה ספציפית, הספר מזהה את העקרונות החשובים ביותר המשותפים לקבוצות גדולות של שפות. מושג המכונה המופשטת הוא מושג מאחד המסייע לשמור על טיפול מדויק ואלמנטרי. הספר מציג ניתוחים לעומק ומשווה בין פרדיגמות תכנות מבוססות אילוצים ותכנות מונחה שירותים, המבוססות על לוגיקה פונקציונלית מונחת-עצמים (Imprative). כל החומר מהמהדורה האנגלית הראשונה עודכן והורחב, תוך הבהרת נקודות מסובכות ודיון בשפות תכנות חדשות יותר. מהדורה שנייה זו מכילה פרקים חדשים המוקדשים לתכנות מקביל אילוץ ותכנות מונחה שירותים. נושאים ומאפיינים דורשים היכרות עם שפת תכנות אחת כתנאי הכרחי. מספק פרק על היסטוריה המציע הקשר לרוב המבנים הנמצאים בשימוש כיום. מציג תיאור בסיסי של גישות סמנטיות וחישוביות. מציג דוגמאות חדשות בשפות תכנות מודרניות כמו פייתון או סקאלה. מציע פרק הפותח פרספקטיבה על יישומים בבינה מלאכותית. כרך ייחודי זה, שנתפס כספר לימוד אוניברסיטאי, יתאים גם למומחי IT המעוניינים להעמיק את הידע שלהם במנגנונים העומדים מאחורי השפות בהן הם משתמשים. בחירת הנושאים וסגנון ההצגה מושפעים במידה רבה מניסיון הוראת התוכן כחלק מתואר ראשון במדעי המחשב.