Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Formal methods : foundations and applications : 13th Brazilian symposium on formal methods, SBMF, Natal, Brazil, Nov. 8-11, 2010 (e-book)

by Davies, Jim [Editor] | Silva, Leila [Editor] | Simão, Adenilso [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6527 | LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Testing software and systems : 22nd IFIP WG 6.1 international conference : proceedings, ICTSS, Natal, Brazil, Nov. 8-10, 2010 (e-book)

by Petrenko, Alexandre [Editor] | Simão, Adenilso [Editor] | Maldonado, José Carlos [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6435 | LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Pages

Powered by Koha