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

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings


Utgitt	Berlin : Springer , c2005
Omfang	XIV, 496 s. : ill.
Emner	Formal logikk Programutvikling
ISBN	3540297979. - 9783540297970