From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Editorial message: special track on inter-disciplinary approaches to the design of dependable computer systems., , , , и . SAC, стр. 704-705. ACM, (2002)Thinking Tools for the Future of Computing Science.. Informatics, том 2000 из Lecture Notes in Computer Science, стр. 112-130. Springer, (2001)Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract.. ZB, том 3455 из Lecture Notes in Computer Science, стр. 1-5. Springer, (2005)Reasoning About Partial Functions in the Formal Development of Programs.. AVoCS, том 145 из Electronic Notes in Theoretical Computer Science, стр. 3-25. Elsevier, (2005)Abstraction as a Unifying Link for Formal Approaches to Concurrency.. SEFM, том 7504 из Lecture Notes in Computer Science, стр. 1-15. Springer, (2012)Semantic Models for a Logic of Partial Functions., и . Int. J. Softw. Informatics, 5 (1-2): 55-76 (2011)List of Tony Hoare's Publications.. Theories of Programming, том 39 из ACM Books, ACM / Morgan & Claypool, (2021)The Early Search for Tractable Ways of Reasonning about Programs. IEEE, Annals of the History of Computing, 25 (2): 26-49 (2003)Possible values: Exploring a concept for concurrency., и . J. Log. Algebraic Methods Program., 85 (5): 972-984 (2016)Some Mistakes I Have and What I Have Learned from Them.. FASE, том 1382 из Lecture Notes in Computer Science, стр. 7-20. Springer, (1998)