跳至 : 概要 | 書目資訊 | 主題

Dams, Dennis.

概要
作品: 2 作品在 0 項出版品 0 種語言
書目資訊
Theoretical and practical aspects of SPIN model checking = 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / by: Dams, Dennis.; SpringerLink (Online service); International SPIN Workshop (1999 :); Federated Logic Conference ((1999 :); International SPIN Workshop (1999 :); World Congress on Formal Methods in the Development of Computing Systems ((1999 :) (書目-語言資料,印刷品)
Concurrency, compositionality, and correctness = essays in honor of Willem-Paul de Roever / by: Dams, Dennis.; Hannemann, Ulrich.; Roever, Willem Paul.; SpringerLink (Online service); Steffen, Martin. (書目-語言資料,印刷品)
 
 
變更密碼
登入