Wellcome

Runtime Verification [electronic resource] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann.

By: Barringer, HowardContributor(s): Falcone, Ylies | Finkbeiner, Bernd | Havelund, Klaus | Lee, Insup | Pace, Gordon | Roşu, Grigore | Sokolsky, Oleg | Tillmann, Nikolai | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 6418Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010ISBN: 9783642166129Subject(s): Computer science | Software engineering | Computer software | Logic design | Computer Science | Software Engineering | Algorithm Analysis and Problem Complexity | Logics and Meanings of Programs | Programming Techniques | Programming Languages, Compilers, Interpreters | Mathematical Logic and Formal LanguagesAdditional physical formats: Printed edition:: No titleOnline resources: Click here to access online In: Springer eBooks
Item type:
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Ebooks Ebooks Mysore University Main Library
Not for loan EBSP06059059

There are no comments on this title.

to post a comment.

No. of hits (from 9th Mar 12) :

web counter

Powered by Koha