Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Testing software and systems : 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings / Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado (eds.). by Series: Lecture notes in computer science ; 6435. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Other title:
  • ICTSS 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings / David L. Dill, ed. by Series: Lecture notes in computer science ; 818.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1994
Other title:
  • CAV '94
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha