Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedingsInternational Conference on Formal Engineering Methods (6th 2004 Seattle, Wash.) Jim Davies 1964; Wolfram Schulte; Mike Barnett 1957Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 proceedingsInternational Conference on Integrated Formal Methods (6th 2007 Oxford, UK) Jim Davies; Jeremy GibbonsBerlin Springer 2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4591 )(Acessar) |