登入選單
Google圖書搜尋
ISBN : 9780387975320總數: gridview
Verification of Sequential and Concurrent Programs
作者
Krzysztof R. Apt / E.-R. Olderog
出版1991
ISBN
UCSD:31822007616527
主題
Computers