C. A. R. Hoare
C. A. R. Hoare
1934
3 ספרים במאגר
ספרים
Developments in Concurrency and Communication (The Year of Programming Series)C. A. R. Hoare
Developments in Concurrency and Communication (The Year of Programming Series)
C. A. R. Hoare · 1991
Occam 2 Reference ManualC. A. R. Hoare
Occam 2 Reference Manual
C. A. R. Hoare · 1988
The Mathematics of ProgrammingC. A. R. Hoare
The Mathematics of Programming
C. A. R. Hoare · 1986
ספרים משותפים ואוספים
ספרים שבהם C. A. R. Hoare מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
VDM '90VDM-Europe. International Symposium
VDM '90
VDM-Europe. International Symposium · 1990
Software system reliability and securityM. Broy
Software system reliability and security
M. Broy · 2007
Operating systems techniquesInternational Seminar on Operating Systems Techniques (1971 Queen's University of Belfast)
Operating systems techniques
International Seminar on Operating Systems Techniques (1971 Queen's University of Belfast) · 1973
Software and systems safetyM. Broy
Software and systems safety
M. Broy · 2011