STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Howard Barringer | lit.salon
Howard Barringer
No bio available.
Add one in Open Library.
Books by Howard Barringer (50 max)
+ shelf
+ list
A survey of verification techniques for parallel programs.
1985
Howard Barringer
+ shelf
+ list
Advances in Temporal Logic
2010
Howard Barringer
+ shelf
+ list
Temporal Logic in Specification (Lecture Notes in Computer Science)
2007
Howard Barringer, Amir Pnueli
+ shelf
+ list
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
2010
Howard Barringer
