Reflections on the Work of C.A.R. Hoare المزيد من كتب Cliff B. Jones, A.W. Roscoe & Kenneth R. Wood

Formal Methods and Hybrid Real-Time Systems Formal Methods and Hybrid Real-Time Systems
Formal Methods and Hybrid Real-Time Systems
٢٠٠٧
Methods, Models and Tools for Fault Tolerance Methods, Models and Tools for Fault Tolerance
Methods, Models and Tools for Fault Tolerance
٢٠٠٩