Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 ProceedingsOliveira, José Nuno ; Zave, Pamela Zave, Pamela ; Oliveira, José NunoBerlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |