17 treff

The dawn of software engineering : from Turing to Dijkstra
Edgar G. Daylight, edited by Kurt De Grav...
Bok Engelsk 2012
The origin of concurrent programming : from semaphores to remote procedure calls
edited by Per Brinch Hansen
Bok Engelsk 2002
Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Sir Antony Hoare
edited by Jim Davies, Bill Roscoe, and Ji...
Bok Engelsk 2000
Unifying theories of programming
C.A.R. Hoare and He Jifeng
Bok Engelsk 1998
A Classical mind : essays in honour of C.A.R. Hoare
edited by A.W. Roscoe
Bok Engelsk 1994
Mechanized reasoning and hardware design
edited by C. A. R. Hoare and M. J. C. Gor...
Bok Engelsk 1992
Developments in concurrency and communication
edited by C.A.R. Hoare
Bok Engelsk 1990
VDM '90 : VDM and Z-formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 : proceedings
VDM Europe
Bok Engelsk 1990
Essays in computing science
Hoare, C.A.R.
Bok Engelsk 1989
Mathematical logic and programming languages
edited by C. A. R. Hoare and J. C. Shephe...
Bok Språk ikke angitt 1985
Communicating sequential processes
Hoare, C.A.R.
Bok Engelsk 1985
Strukturált programozás
Dahl, Ole-Johan
Bok Ungarsk 1978
Strukturnoe programmirovanie
Dahl, Ole-Johan
Bok Russisk 1975
Kôzôka puroguramingu
Dijkstra, Edsger W.
Bok Japansk 1975
Operating systems techniques : proceedings of a seminar held at Queen's University, Belfast, 1971
edited by C. A. R. Hoare, R. H. Perrott
Bok Engelsk 1972
Structured programming
Dahl, Ole-Johan
Bok Engelsk 1972
Record handling : a series of lectures to be delivered at the NATO Summer School, Villard-de-Lans, September 12-16, 1966
Hoare, C.A.R.
Bok Engelsk 1966