Zobrazeno 1 - 10
of 392
pro vyhledávání: '"Hoare C"'
Information security depends upon an understanding of the functionality of software systems. Customers and information can only be protected from attack if this functionality is guaranteed to be correct and safe. A scientific foundation of software e
'The contributions in this volume have emerged from lectures of the 27th International Summer School on Software System Reliability and Security, held at Marktoberdorf from August 1 to August 13, 2006.'--Pref., p. vi.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Philosophical Transactions: Physical Sciences and Engineering, 1992 Apr . 339(1652), 21-33.
Externí odkaz:
https://www.jstor.org/stable/54010
Publikováno v:
Philosophical Transactions: Physical Sciences and Engineering, 1992 Apr . 339(1652), 87-104.
Externí odkaz:
https://www.jstor.org/stable/54014
Autor:
Hoare, C. A. R., Hanna, F. K.
Publikováno v:
Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 1984 Oct 01. 312(1522), 475-489.
Externí odkaz:
https://www.jstor.org/stable/37446
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Hoare, C. A. R.1 thoare@microsoft.com
Publikováno v:
Communications of the ACM. Oct2009, Vol. 52 Issue 10, p30-32. 3p. 1 Color Photograph.