کتاب های Howard Barringer
Advances in Temporal Logic
Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.), 2000
Advances in temporal logic
Iliano Cervesato, Massimo Franceschet, Angelo Montanari (auth.), Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.), 2000
A Survey of Verification Techniques for Parallel Programs
Howard Barringer (auth.), 1985
A Survey of Verification Techniques for Parallel Programs
Howard Barringer (auth.), 1985
Time for Verification: Essays in Memory of Amir Pnueli
Howard Barringer, 2010
Time for Verification: Essays in Memory of Amir Pnueli
Howard Barringer, 2010
