登入選單
Google圖書搜尋
ISBN : 0471912824總數: gridview
The Foundations of Program Verification
作者
Jacques Loeckx / Kurt Sieber / Ryan D. Stansifer
出版1987
ISBN
STANFORD:36105032353497
主題
Computers