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

Butler, Michael.

概要
作品: 3 作品在 3 項出版品 1 種語言
書目資訊
Methods, models and tools for fault tolerance by: Butler, Michael.; SpringerLink (Online service) (書目-語言資料,印刷品)
Abstract state machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018 : proceedings / by: ABZ (Conference) (2018 :); Butler, Michael.; SpringerLink (Online service) (書目-電子資源)
Integrated formal methods = Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / by: Butler, Michael.; Petre, Luigia.; Sere, Kaisa.; SpringerLink (Online service); International Conference on Integrated Formal Methods (2002 :) (書目-語言資料,印刷品)
 
 
變更密碼
登入