Search alternatives:
"tony hoare" » "tony moore"
Cover Image
Read Now

1
Published 2019
Springer International Publishing
“... symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained...”
Cover Image
Read Now

3
Published 2010
Springer London
Cover Image
Read Now

4
Published 2005
Springer Berlin Heidelberg
“... of Communicating Sequential Processes. 1 Tony Hoare’s paper “Communicating Sequential Processes” is today widely...”
Cover Image
Read Now

5
Published 2011
Springer Berlin Heidelberg
“... Gamma, Yuri Gurevich, Tony Hoare, Michael A. Jackson, Rustan Leino, David L. Parnas, Dieter Rombach...”
Cover Image
Read Now

6
Published 2023
Springer Nature Switzerland
“... collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first...”
Cover Image
Read Now

7
Published 2017
Springer International Publishing
“... birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. Bill Roscoe...”
Cover Image
Read Now

8
Published 2018
Springer International Publishing
“... that he has had through his appointments in Oxford (UK) where he collaborated with Professor Tony Hoare...”
Cover Image
Read Now

9
Published 2013
Springer Berlin Heidelberg
“... for object and component system construction. His book on UTP with Tony Hoare has been widely read...”
Cover Image
Read Now

10
Published 2002
Springer Berlin Heidelberg
“... engineering, and systems engineering. The keynote speakers, Piero Bonissone, Ray Paul, Sir Tony Hoare, Michael...”
Cover Image
Read Now

11
Published 1999
Springer Berlin Heidelberg
“... field. Tony Hoare's prediction of the art of software (and hardware) development becoming a proper...”
Cover Image
Read Now

12
Published 2011
Springer Berlin Heidelberg
Table of Contents: “... Blocks (Tony Hoare) -- The Development and Writing of “Process Structuring” (J.J. Horning) -- A Tolerant...”