登入選單
Google圖書搜尋
FM 2012: Formal Methods
作者
Dimitra Giannakopoulou / Dominique Mery
出版Springer, 2012-07-21
ISBN
3642327583 / 9783642327582
主題
Computers