Your search returned 2 results.

Sort
Results
1.
Formal Methods and Software Engineering [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings / edited by Zhiming Liu, Jifeng He. by Series: Lecture Notes in Computer Science ; 4260
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

2.
Pages

Maintained by VTU Library