Certified Programming with Dependent Types
על הספר
רומן «Certified Programming with Dependent Types» נמנה עם יצירותיו של Adam Chlipala, והוא ראה אור לראשונה בשנת 2013. הספר משתייך אל הספרות היפה, ומשמש דוגמה מובהקת לאופייה של הכתיבה בתחום זה.
הספרות היפה שמה במרכזה את חוויית הדמות, את מורכבות היחסים האנושיים ואת האופן שבו הסיפור נמסר. מתוך מסורת זו צומחת יצירה שבמרכזה קרבה אל הדמויות, קול מספר ייחודי ותשומת לב לפרטים.
רקע הזמן של היצירה הוא במאה ה-21, עידן שבו הספרות מגיבה לעולם גלובלי ומהיר. היכרות עם התקופה מעשירה את חוויית הקריאה ומאירה את בחירותיו של הכותב.
לגבי הקריאה עצמה, «Certified Programming with Dependent Types» פונה בראש ובראשונה אל אוהבי פרוזה עכשווית, אך פתוח גם בפני מי שמבקש להרחיב את היכרותו עם הספרות היפה. בהיקף של כ-436 עמודים, היא מאפשרת קריאה מתונה ומעמיקה.
הספר ראה אור בהוצאת MIT Press.
למטה מרוכזים כל הפרטים על הספר, קישור אל עמוד המחבר וספרים נוספים שעשויים לעניין אתכם.
פרטים ביבליוגרפיים
| שם מקורי | Certified Programming with Dependent Types |
|---|---|
| מחבר | Adam Chlipala |
| שנת פרסום | 2013 |
| הוצאה | MIT Press |
| מספר עמודים | 436 |
| ז׳אנר | ספרות יפה |
| ISBN-13 | 9780262545747 |
| מהדורות ידועות | 5 |
על המחבר
הסופר Adam Chlipala וכתב בספרות היפה. להלן פירוט ספריו המתועדים אצלנו ומידע נוסף עליהם.
נכון לעכשיו מתועדת אצלנו יצירה אחת מאת Adam Chlipala - «Certified Programming with Dependent Types», ועמוד זה מרכז את מה שידוע עליה. ככל שהמאגר גדל, ייתכן שיצטרפו לכאן יצירות נוספות פרי עטו.
ספרים דומים
