Your search returned 27 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
21.
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
22.
Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings / Stefan Kowalewski, Marco Roveri (eds.). by Series: Lecture notes in computer science ; 6371. | 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:
  • FMICS 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
23.
Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings / Jin Song Dong, Huibiao Zhu (eds.). by Series: Lecture notes in computer science ; 6447. | 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:
  • ICFEM 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
24.
Hardware and software, verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers / Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.). by Series: Lecture notes in computer science ; 6405. | 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, ©2011
Other title:
  • HCV 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
25.
Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings / Burkhart Wolff, Fatiha Zaïdi (eds.). by Series: Lecture notes in computer science ; 7019. | 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, ©2011
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
26.
Integrated Formal Methods : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings / edited by Eerke A. Boiten, John Derrick, Graeme Smith. by Series: Lecture notes in computer science ; 2999,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2004
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
27.
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, ©1999
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha