Paperback Book

iMusicに在庫あり

在庫なし商品を表示

Burkart, O. (University of Dortmund, Germany)のリリース

Cover for Burkart, O. (University of Dortmund, Germany) · Automatic Verification of Sequential Infinite-state Processes - Lecture Notes in Computer Science (Paperback Book) (1997)

Automatic Verification of Sequen... (1997)

Burkart, O. (University of Dortm...