登入選單
Google圖書搜尋
Semantics of Programming Languages
作者
R. D. Tennent
出版1991
ISBN
0138055998 / 9780138055998
主題
Computers
Specifying Software
作者
R. D. Tennent
出版Cambridge University Press, 2002-02-25
ISBN
0521004012 / 9780521004015
主題
Computers
Mathematical Semantics and Design of Programming L...
作者
R. D. Tennent / University of Toronto. Dept. of Computer Science
出版1973
ISBN
OCLC:25452214
主題
Programming languages (Electronic computers)
Principles of Programming Languages
作者
R. D. Tennent
出版Prentice Hall, 1981
ISBN
UOM:39015000448236
主題
Computer programming
Mathematical Semantics of Programming Languages
作者
Queen's University. Department of Computing and Information Science / R. D. Tennent
出版1973
ISBN
OCLC:726087493
Correctness of Data Representations in Algol-like ...
作者
R. D. Tennent
出版1993
ISBN
OCLC:60009593
主題
Computer software
Functor-category Semantics of Programming Language...
作者
R. D. Tennent
出版1986
ISBN
OCLC:14223649
主題
Computer software
Algol-like Languages
作者
Peter W. O'Hearn / Robert Daniel Tennent
出版1997
ISBN
3764338806 / 9783764338800
主題
ALGOL (Computer program language)
Algo-like Languages
作者
Peter William O'Hearn
ISBN
OCLC:1403471162
ALGOL-like Languages: Revised report on the algori...
出版1997
ISBN
LCCN:96046972
主題
ALGOL (Computer program language)
Denotational Semantics of Hoare Classes
作者
R. D. Tennent
出版1982
ISBN
OCLC:71389454
主題
Pascal (Computer program language)
A Cotribution to the Development of Pascal-like La...
作者
R. D. Tennent
出版1974
ISBN
OCLC:500544918
On a new approach to representation independent da...
作者
Queen's University. Dept. of Computing and Information Science / R. D. Tennent
出版1977
ISBN
OCLC:71382363
主題
Data structures (Computer science)
Semantics of Local Variables
作者
P. W. O'Hearn / R. D. Tennent
出版1992
ISBN
OCLC:263689186
主題
Programming languages (Electronic computers)
Algol-like Languages
作者
Peter O'Hearn / Robert Tennent
出版Birkhäuser, 1996-12-01
ISBN
0817639373 / 9780817639372
主題
Computers
Semantic Analysis of Specification Logic
作者
R. D. Tennent
出版1986
ISBN
OCLC:17371143
主題
Computer programming
A Contribution to the Development of PASCAL-like L...
作者
R. D. Tennent
出版1974
ISBN
OCLC:257873177
Semantical Analysis of Specification Logic
作者
R. D. Tennent
出版1985
ISBN
OCLC:897695962
Semantics of Interference Control
作者
Robert D. Tennent
出版1981
ISBN
OCLC:71386224
主題
Programming languages (Electronic computers)
Three Proposals for Extending Pascal
作者
R. D. Tennent
出版1982
ISBN
OCLC:897738706
Semantical Analysis of Specification Logic
作者
P. W. O'Hearn / R. D. Tennent
出版1991
ISBN
OCLC:28012583
主題
Formal languages
Christmas Concerto: Concerto À Quattro
出版2015
ISBN
9790706052793
A denotational definition of the programming langu...
作者
Queen's University. Dept. of Computing and Information Science / R. D. Tennent
出版1977
ISBN
OCLC:71382290
主題
Pascal (Computer program language)
Mathematical Semantics of Snobol4
作者
R. D. Tennent
出版1973
ISBN
OCLC:897738700
PASQUAL
作者
R. D. Tennent
出版1975
ISBN
OCLC:45203142
Elementary Data Structures in Algol-like Languages
作者
R. D. Tennent
出版1988
ISBN
OCLC:18038860
主題
ALGOL (Computer program language)
Relational Parametricity and Local Variables
作者
P. W. O'Hearn / R. D. Tennent
出版1992
ISBN
OCLC:123334313
主題
Programming languages (Electronic computers)
Quantification in Algol-like Languages
作者
R. D. Tennent
出版1986
ISBN
OCLC:17371162
主題
Logic, Symbolic and mathematical
Parametricity and local variables
作者
Peter William O'Hearn / R. D. Tennent
出版1993
ISBN
OCLC:39118774
Specifying Software
作者
R. D. Tennent
出版Cambridge University Press, 2002-02-25
ISBN
0521004012 / 9780521004015
主題
Computers