Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings / Corina S. Pǎsǎreanu (ed.). by Series: Lecture notes in computer science ; 5578. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Runtime verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, selected papers / Saddek Bensalem, Doron A. Peled (eds.). by Series: Lecture notes in computer science ; 5779. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, ©2009
Other title:
  • RV 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha