HyLib 整合性圖書館自動化系統

Butler, Michael.(作者(個人/團體)) ，共查得9 件。

Abstract state machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings / edited by Michael Butler ... [et al.]. 2016.
Abstract state machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018 : proceedings / edited by Michael Butler ... [et al.]. 2018.
FM 2011 formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings / edited by Michael Butler, Wolfram Schulte. 2011.
Formal methods and software engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Zaidi. 2015.
Integrated formal methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere, eds. c2002.
Methods- models and tools for fault tolerance edited by Michael Butler ... [et al.] 2009
Selling a just war framing, legitimacy and US military intervention / Michael J. Butler. 2012.
The business of hacking creating, developing, and maintaining an effective penetration testing team / by Michael Butler, Jacob G. Oakley. 2024.
The gamma function / Emil Artin ; translated by Michael Butler. 2015.
1/1
重新搜尋
全部 圖書 期刊 多媒體
縮小搜尋範圍
出版年區間 :  年 ~ 年
特藏 :
語文 :