Sell, buy or rent Howard Barringer textbooks

9780792361497-0792361490-Advances in Temporal Logic (Applied Logic Series, 16)
9780792361497-0792361490-Advances in Temporal Logic (Applied Logic Series, 16)

Advances in Temporal Logic (Applied Logic Series, 16)

by Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough
ISBN-13: 9780792361497
ISBN-10: 0792361490
Edition: 2000
Publication date: 1999
Publisher: Springer
Format: Hardcover 462 pages
Sell Shop now at Amazon
9783642166112-3642166113-Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science, 6418)
9783642166112-3642166113-Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science, 6418)

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science, 6418)

by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
ISBN-13: 9783642166112
ISBN-10: 3642166113
Edition: 2010
Publisher: Springer
Format: Paperback 505 pages
Sell Shop now at Amazon
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.