LIBRARY AND INFORMATION CENTRE

↓ Click here to search N-LIST Database
↓ Click here to search Print Books and E-Books

Runtime Verification

Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann

Runtime Verification - Germany Springer 2010

978-3-642-16612-9


Computer Science
Runtime Verification

Total No of Books as on Date

Titles Volumes National Journals(Print) International Journals(Print) e-Books e-Journals
43955 139001 162 3 34446 10300

Library working hours

Monday to Saturday Sunday and General Holidays
10.00am to 5.30pm Closed
Contact Information: Librarian, Basaveshwar Engineering College(Autonomus) Bagalkot -587102 Mobile:9448514872