booktheque
ספרים בחינם
ספרים
סופרים
קטגוריות
המלצות על ספרים
☀
English
Kurt Sieber
Kurt Sieber
ספרים
ספרים משותפים ואוספים
ספרים שבהם Kurt Sieber מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
The Foundations of Program Verification
Jacques Loeckx
The Foundations of Program Verification
Jacques Loeckx · 1987