Books by Howard Barringer

13 books found

Advances in Temporal Logic

Advances in Temporal Logic

20102 ed.
A survey of verification techniques for parallel programs

A survey of verification techniques for parallel programs

19852 ed.
Advances in temporal logic

Advances in temporal logic

19992 ed.
The Imperative future

The Imperative future

19962 ed.
A survey of verification techniques for parallel programs

A survey of verification techniques for parallel programs

19851 ed.
Runtime Verification

Runtime Verification

20101 ed.
The Imperative Future

The Imperative Future

19961 ed.
Temporal logic in specification

Temporal logic in specification

19891 ed.
Up and down the temporal way

Up and down the temporal way

19851 ed.
Book of Scratch

Book of Scratch

20111 ed.
Temporal Logic in Specification

Temporal Logic in Specification

20071 ed.
Q-Baltimore and Ohio Railroad Q-Class Mikado Locomotives

Q-Baltimore and Ohio Railroad Q-Class Mikado Locomotives

19781 ed.
Runtime Verification

Runtime Verification

20111 ed.