Reading Length
Home
Speed Tests
Login
R. C. Holt
Born 1941-01-01
Identifiers
Open Library
OL1262778A
Top Subjects
Electronic data processing (9)
Turing (Computer program language) (9)
Computer programming (6)
TUNIS (3)
PL/I (Computer program language) (2)
Computer architecture (2)
Pascal (Computer program language) (1)
Books by R. C. Holt
Total count: 23
On deadlock in computer systems
Computer Systems Research Group, University of Toronto
1971-01-01
Structured subsets of the PL/I language
Computer Systems Research Group, University of Toronto
1973-01-01
Structured subsets of the PL/1 language
Computer Systems Research Group, University of Toronto
1975-01-01
Programming standard Pascal
Reston Pub. Co.
1980-01-01
S/SL; Syntax/Semantic Language
introduction and specification
Computer Systems Research Group, University of Toronto
1980-01-01
An overview of TUNIS, and UNIX look-alike written in Concurrent Euclid
Computer Systems Research Group, University of Toronto
1982-01-01
Concurrent Euclid, The UNIX system, and TUNIS
Addison-Wesley
1983-01-01
The Turing language report
Computer Systems Research Group, University of Toronto
1983-01-01
Introduction to computer science using the TURING programming language
Reston Pub. Co.
1984-01-01
Data descriptors
a compile-time model of data and addressing
Computer Systems Research Group
1984-01-01
Features of the Turing language
Computer Systems Research Institute, University of Toronto
1986-01-01
The formal semantics of Turing programs
Computer Systems Research Institute, University of Toronto
1986-01-01
Design goals for the Turing programming language
Computer Systems Research Institute University of Toronto
1986-01-01
The Turing Plus report
Revised / September 2, 1987. --
Computer Systems Research Institute, University of Toronto
1987-01-01
The Turing Programming Language
Design and Definition
Prentice Hall
1987-11-01
The concurrent programming of operating systems using the Turing Plus language
Computer Systems Research Institute, University of Toronto]
1988-01-01
Concurrent programming using the Turing Plus language
Computer Systems Research Institute, University of Toronto]
1988-01-01
Set projectors
a basis for program specification
Computer Systems Research Institute, University of Toronto
1989-01-01
Healthiness versus realizability in predicate transformers
Computer Systems Research Institute, University of Toronto
1990-01-01
Turing reference manual
1st ed.
Computer Systems Research Institute, University of Toronto
1990-01-01
Mini Tunis book
operating systems and concurrency using object oriented Turing
Holt Software Assoc.]
1992-01-01
A framework for specifying and visualizing architectural designs
Computer Systems Research Institute, University of Toronto
1994-01-01
Using tube graphs to model architectural designs of software systems
Computer Systems Research Institute, University of Toronto
1994-01-01
and 3 more
