Model checking

«Model checking» הוא רומן היסטורי מאת הסופר Edmund M. Clarke Jr., שפורסם לראשונה ב-1999. היצירה שייכת אל הרומן ההיסטורי ומזמינה היכרות עם עולמו הספרותי של הכותב.

הרומן ההיסטורי מחייה תקופה מן העבר ומשלב דמויות ואירועים בתוך מרקם היסטורי מדוקדק. «Model checking» משתלב במסורת הזאת, ומביא לידי ביטוי רקע תקופתי עשיר, שחזור אווירה ומפגש בין הפרטי להיסטורי - כל מה שמאפיין את הז׳אנר במיטבו.

היצירה נבנית סביב שורה של נושאים: מלחמה, אובדן וזיכרון. הנושאים הללו נשזרים זה בזה ומעניקים לקריאה משמעות מעֵבר לעלילה עצמה.

רקע הזמן של היצירה הוא במאה ה-20, עידן שבו התרחבו הן הז׳אנרים והן קהלי הקוראים. ההקשר הזה מוסיף נדבך של הבנה לקריאה בת-זמננו.

לגבי הקריאה עצמה, הספר מדבר אל אוהבי סיפורת על רקע היסטורי, וגם קוראים המגיעים אליו לראשונה ימצאו בו עניין. בהיקף של כ-330 עמודים, זהו ספר שנעים לשהות בו.

בין המהדורות המוכרות של הספר נמנית זו של הוצאת MIT Press.

בהמשך העמוד תוכלו למצוא פרטים ביבליוגרפיים מלאים, לעבור אל עמוד הסופר Edmund M. Clarke Jr. ולגלות ספרים דומים ברוחם.

הסופר Edmund M. Clarke Jr. וכתב ברומן ההיסטורי. להלן פירוט ספריו המתועדים אצלנו ומידע נוסף עליהם.

נכון לעכשיו מתועדת אצלנו יצירה אחת מאת Edmund M. Clarke Jr. - «Model checking», ועמוד זה מרכז את מה שידוע עליה. ככל שהמאגר גדל, ייתכן שיצטרפו לכאן יצירות נוספות פרי עטו.