Computer Aided Verification

«Computer Aided Verification» הוא מיצירותיו של Isil Dillig, רומן שיצא לאור בשנת 2019. הספר משתייך אל הספרות היפה, ומשמש דוגמה מובהקת לאופייה של הכתיבה בתחום זה.

הספרות היפה שמה במרכזה את חוויית הדמות, את מורכבות היחסים האנושיים ואת האופן שבו הסיפור נמסר. מתוך מסורת זו צומחת יצירה שבמרכזה קרבה אל הדמויות, קול מספר ייחודי ותשומת לב לפרטים.

«Computer Aided Verification» ראה אור במאה ה-21, עידן שבו הספרות מגיבה לעולם גלובלי ומהיר. ההקשר הזה מוסיף נדבך של הבנה לקריאה בת-זמננו.

מבחינת חוויית הקריאה, היצירה מיועדת לאוהבי פרוזה עכשווית, ומציעה נקודת כניסה טובה אל עולמו של Isil Dillig. בהיקף של כ-692 עמודים, היא מאפשרת קריאה מתונה ומעמיקה.

הספר ראה אור בהוצאת Springer.

בהמשך העמוד תוכלו למצוא פרטים ביבליוגרפיים מלאים, לעבור אל עמוד הסופר Isil Dillig ולגלות ספרים דומים ברוחם.

הסופר Isil Dillig וכתב בספרות היפה. להלן פירוט ספריו המתועדים אצלנו ומידע נוסף עליהם.

נכון לעכשיו מתועדת אצלנו יצירה אחת מאת Isil Dillig - «Computer Aided Verification», ועמוד זה מרכז את מה שידוע עליה. המאגר מתעדכן באופן שוטף, וספרים נוספים משלו יתווספו לעמוד ככל שיאותרו.