Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings / Ganesh Gopalakrishnan, Shaz Qadeer (eds.). by Series: Lecture notes in computer science ; 6806. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Heidelberg : Springer, 2011
Other title:
  • CAV 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers / Shaz Qadeer, Serdar Tasiran (eds.). by Series: Lecture notes in computer science ; 7687. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2013
Other title:
  • RV 2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha