Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Computer-aided specification techniquesJános Demetrovics E Knuth 1943- (Elîod); Péter RadóSingapore World Scientific c1985Localização: IF - Instituto de Física (004.21 D377c )(Acessar) |
2 |
Material Type: Livro
|
![]() |
Specification and Design of Software Systems: Conference on Operating Systems Visegrad, Hungary, January 23–27, 1982 ProceedingsKnuth, Elöd ; Neuhold, Erich J Knuth, Elöd ; Neuhold, Erich J.Berlin, Heidelberg: Springer Berlin Heidelberg 1983Texto completo disponível |