Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Results
1.
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).
2.
3.
Pages

Powered by Koha