Normal view MARC view ISBD view

Runtime Verification [Recurso electrónico] :Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers / edited by Sarfraz Khurshid, Koushik Sen.

Khurshid, Sarfraz.
Contributor(s): Sen, Koushik.
Material type: materialTypeLabelBook; Format: electronic Series: Lecture Notes in Computer Science ; 7186.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012ISBN: 9783642298608.Subject(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 LanguagesOnline resources: Texto completo
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

Restringido a usuarios de la UCA

Modo de acceso: World Wide Web

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha