Reading Length
Home
Speed Tests
Login
Howard Barringer
Born 1951-01-01
Identifiers
Open Library
OL1296806A
Top Subjects
Parallel processing (Electronic computers) (1)
Computer programs -- Verification. (1)
Artificial intelligence (1)
Programming languages (1)
Computers (1)
Computer Books: General (1)
Computer architecture & logic design (1)
Books by Howard Barringer
Total count: 3
Up and down the temporal way
Department of Computer Science, University of Manchester
1985-01-01
A survey of verification techniques for parallel programs
Springer-Verlag
1985-01-01
The Imperative Future
Principles of Executable Temporal Logic (Advanced Software Development Series)
Research Studies Pr
1996-05-01
