登入選單
Google圖書搜尋
Software System Reliability and Security
作者
Charles Antony Richard Hoare
出版IOS Press, 2007
ISBN
9781586037314 / 1586037315
主題
Computers
Unifying Theories of Programming
作者
Charles Antony Richard Hoare / He Jifeng
出版1998
ISBN
UOM:39015047062917
主題
Computers
Communicating Sequential Processes
作者
Charles Antony Richard Hoare
出版Prentice Hall, 1985
ISBN
UOM:39015009807895
主題
Computers
A Classical Mind
作者
A. W. Roscoe / Charles Antony Richard Hoare
出版Prentice Hall PTR, 1994
ISBN
UOM:39015032907944
主題
Computers
The Mathematics of Programming
作者
Charles Antony Richard Hoare
出版1986
ISBN
UCAL:B2506853
主題
Computers
Computer Science
作者
Charles Antony Richard Hoare
出版1971
ISBN
UOM:39015064587283
主題
Computers
Structured Programming
作者
Ole-Johan Dahl / Edsger W. Dijkstra / Edsger Wybe Dijkstra / Charles Antony Richard Hoare
出版1972
ISBN
UOM:39015004572742
主題
Computers
Mechanized Reasoning and Hardware Design
作者
Charles Antony Richard Hoare / Michael J. C. Gordan
出版1992
ISBN
UCAL:B4540378
主題
Logic design
The Celtic Tumuli of Dorset
作者
Charles Warne
出版1866
ISBN
NYPL:33433004050211
主題
Dorset (England)
Unifying Theories of Programming
作者
Charles Antony Richard Hoare / He Jifeng
出版1998
ISBN
UOM:39015047062917
主題
Computers
Computer Science
作者
Charles Antony Richard Hoare
出版1971
ISBN
UOM:39015064587283
主題
Computers
Communicating Sequential Processes
作者
Charles Antony Richard Hoare
出版Prentice Hall, 1985
ISBN
UOM:39015009807895
主題
Computers
A Model for Communicating Sequential Processes
作者
Charles Antony Richard Hoare
出版1981
ISBN
OCLC:220370513
主題
Computer programming
Communicating Sequential Processes
作者
Charles Antony Richard Hoare
出版Macmillan College, 1986
ISBN
0131531565 / 9780131531567
主題
Computer programming
VDM '90
作者
Dines Bjørner / Charles Antony Richard Hoare / Hans Langmaack
出版Springer, 1990
ISBN
UOM:39015017941421
主題
Computers
Essays in Computing Science
作者
Charles Antony Richard Hoare
出版1989
ISBN
OCLC:641932376
主題
Computers
A Calculus of Total Correctness for Communicating ...
作者
Charles Antony Richard Hoare
出版1981
ISBN
OCLC:41363996
主題
Formal languages
The Laws of Occam Programming
作者
A. W. Roscoe / Charles Antony Richard Hoare
出版1986
ISBN
0902928341 / 9780902928343
主題
Computer programming
Two Public Lectures
作者
Charles Antony Richard Hoare
出版1992
ISBN
9971623358 / 9789971623357
主題
Computer science
Data Refinement in a Categorical Setting
作者
Jifeng He / C. A. R. Hoare
出版1990
ISBN
0902928686 / 9780902928688
主題
Abstract data types (Computer science)
The Mathematics of Programming
作者
Charles Antony Richard Hoare
出版1986
ISBN
UCAL:B2506853
主題
Computers