Yazar
m r hoare
2 cilt bulundu.
Cilt sonuçları
Software system reliability and security
M. Broy, C. A. R. Hoare · IOS Press
426 sayfa · 2007
Reliability / Congresses / Computer security / Computer software
Software and systems safety
M. Broy, Christian Leuxner, C. A. R. Hoare · IOS Press
285 sayfa · 2011
Computer security / Congresses / Verification / Software engineering / Computer software