登入選單
Google圖書搜尋
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