登入
選單
Google圖書搜尋
全部
書名
作者
出版社
主題
ISBN
上一頁
1 ~ 1 / 1
下一頁
ISBN : 184882744X
總數: gridview
Verification of Sequential and Concurrent Programs
作者
Krzysztof Apt / Frank S. de Boer / Ernst-Rüdiger Olderog
出版
Springer Science & Business Media, 2010-10-14
ISBN
9781848827448 / 184882744X
主題
Computers