Methods, Models and Tools for Fault Tolerance Michael Butler, Cliff B. Jones, Alexander Romanovsky & Elena Troubitsyna의 도서 더 보기

Theoretical Cybersecurity Theoretical Cybersecurity
Theoretical Cybersecurity
2022년
The Business of Hacking The Business of Hacking
The Business of Hacking
2024년
La mère obligée La mère obligée
La mère obligée
2023년
Driveshaft Driveshaft
Driveshaft
2019년
Abstract State Machines, Alloy, B, TLA, VDM, and Z Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2018년
Introduction to Organisational Behaviour Introduction to Organisational Behaviour
Introduction to Organisational Behaviour
2011년
American Angleball American Angleball
American Angleball
2016년
Abstract State Machines, Alloy, B, TLA, VDM, and Z Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2016년
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2015년
FM 2011: Formal Methods FM 2011: Formal Methods
FM 2011: Formal Methods
2011년
Abstract State Machines, B and Z Abstract State Machines, B and Z
Abstract State Machines, B and Z
2008년