語系
Butler, Michael.
概要
作品: | 0 作品在 5 項出版品 1 種語言 |
---|
書目資訊
FM 2011formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings /
by:
(1998 :); Butler, Michael.; Schulte, Wolfram.; SpringerLink (Online service)
(書目-電子資源)
Abstract state machines, Alloy, B, TLA, VDM, and Z5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings /
by:
(1998 :); Butler, Michael.; SpringerLink (Online service)
(書目-電子資源)
Rigorous Engineering of Fault-Tolerant Systems
by:
(1998 :); Butler, Michael.; SpringerLink (Online service)
(書目-電子資源)
Integrated formal methodsThird International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /
by:
(1998 :); Butler, Michael.; Petre, Luigia.; Sere, Kaisa.; SpringerLink (Online service)
(書目-電子資源)
Methods, models and tools for fault tolerance
by:
Butler, Michael.; SpringerLink (Online service)
(書目-電子資源)
Abstract state machines, Alloy, B, TLA, VDM, and Z6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018 : proceedings /
by:
(1998 :); Butler, Michael.; SpringerLink (Online service)
(書目-電子資源)
Formal methods and software engineering17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /
by:
(1998 :); Butler, Michael.; Conchon, Sylvain.; SpringerLink (Online service); Zaidi, Fatiha.
(書目-電子資源)
The business of hackingcreating, developing, and maintaining an effective penetration testing team /
by:
Butler, Michael.; Oakley, Jacob G.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Fault tolerance (Engineering)
Mathematical Logic and Formal Languages.
Software engineering
Computing Methodologies.
Logics and Meanings of Programs.
Machine theory
Data and Information Security.
Computer Crime.
IT Risk Management.
Artificial Intelligence (incl. Robotics)
Operating Systems.
Programming Techniques.
Computer software
Electronic digital computers
Management of Computing and Information Systems.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
System design
Penetration testing (Computer security)
Hacking.
Machine learning
Privacy.
Computer Science.
Computer Communication Networks.
Fault-tolerant computing
Fault-tolerant computing.
Security Services.