booktheque

Predicate Calculus and Program Semantics

Edsger Wybe Dijkstra · 1990

איפה לקנות

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

לצפייה באמזון

קישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.

פרטי הספר

שנה
1990
שפה
English
סדרה
Texts and Monographs in Computer Science
הוצאה
Springer New York
מהדורות
1
עמודים
220
ISBN
9781461279242

מקור הנתונים: Wikidata

עוד של Edsger Wybe Dijkstra