Formal methods and software engineering : 8th International Conference on Formal Engineering Methods - detaljert visning

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings


Utgitt	Berlin : Springer , c2006
Omfang	XII, 778 s. : ill.
Emner	Formal logikk Programutvikling
ISBN	3540474609. - 9783540474609