Barringer, Howard books & textbook
The Pointe Book: Shoes, Training & Technique Second Edition
Barringer, Janice Schlesinger, Sarah Howard, David
Princeton Book Company /2004-06-01 Paperback / 304 Pages
isbn-10: 087127261X / isbn-13: 9780871272614
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science, 398)
Banieqbal, Behnam Barringer, Howard Pnueli, Amir
Springer /1989-10-11 Paperback / 460 Pages
isbn-10: 3540518037 / isbn-13: 9783540518037
Q The Definitive History of the Baltimore and Ohio Railroad Company's Q-Class Mikado Locomotives
Barr, Howard N. and Barringer, William A.
Bernard, Roberts and Company, Inc. /1978T Paperback / 220 Pages
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
NASA /2012T Paperback
Internal Versus External DSLs for Trace Analysis: Extended Abstract
NASA /2011T Paperback
A Survey of Verification Techniques for Parallel Programs
Springer-Verlag Berlin and Heidelberg GmbH & Co. K / Single Issue Magazine
Advances in Temporal Logic (Applied Logic Series)
Barringer, Howard Fisher, Michael Gabbay, Dov M. Gough, Graham
Springer /2010-12-08 Paperback / 462 Pages
isbn-10: 9048153891 / isbn-13: 9789048153893
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science, 6418)
Barringer, Howard Falcone, Ylies Finkbeiner, Bernd Havelund, Klaus Lee, Insup Pace, Gordon Rosu, Grigore Sokolsky, Oleg Tillmann, Nikolai
Springer /2010-10-19 Paperback / 505 Pages
isbn-10: 3642166113 / isbn-13: 9783642166112
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191)
Springer /1985-05-01 Paperback / 128 Pages
isbn-10: 3540152393 / isbn-13: 9783540152392
The Imperative Future: Principles of Executable Temporal Logic (Advanced Software Development Series)
Research Studies Pr Ltd /1996-01-28 Hardcover / 239 Pages
isbn-10: 0863801900 / isbn-13: 9780863801907
