Formal Methods and Software Engineering المزيد من كتب Michael Butler, Sylvain Conchon & Fatiha Zaïdi

Theoretical Cybersecurity Theoretical Cybersecurity
Theoretical Cybersecurity
٢٠٢٢
The Business of Hacking The Business of Hacking
The Business of Hacking
٢٠٢٤
La mère obligée La mère obligée
La mère obligée
٢٠٢٣
Driveshaft Driveshaft
Driveshaft
٢٠١٩
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
٢٠١٨
Introduction to Organisational Behaviour Introduction to Organisational Behaviour
Introduction to Organisational Behaviour
٢٠١١
American Angleball American Angleball
American Angleball
٢٠١٦
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
٢٠١٦
FM 2011: Formal Methods FM 2011: Formal Methods
FM 2011: Formal Methods
٢٠١١
Methods, Models and Tools for Fault Tolerance Methods, Models and Tools for Fault Tolerance
Methods, Models and Tools for Fault Tolerance
٢٠٠٩
Abstract State Machines, B and Z Abstract State Machines, B and Z
Abstract State Machines, B and Z
٢٠٠٨