Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 5 results. Subscribe to this search

|
No cover image available
Components as coalgebras : composition and refinement / Luís Manuel Soares Barbosa Monografia Publication Guimarães : Universidade do Minho, 2000 Description IV, 155 p. : il. ; 30 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Place hold Add to cart
No cover image available
Reescrita e dedução equacional / Luís Manuel Dias Coelho Soares Barbosa Monografia Publication Braga : Universidade do Minho, 1992 Description 69 f. : il. ; 30 cm LocationBiblioteca de Reservados, Biblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho Availability Available (2). Reference (2).

Place hold Add to cart
No cover image available
Sobre a especificação matemática de sistemas concorrentes / Luís Manuel Dias Coelho Soares Barbosa Monografia Publication Braga : L.M.D.C.S.B., 1992 Description 214 f. ; 30 cm LocationBiblioteca de Reservados, Biblioteca da UMinho no Campus de Azurém Availability Available (1). Reference (3).

Place hold Add to cart
No cover image available
Formal specification of an object-oriented framework for designing control systems [Documento electrónico] / David Manuel Rodrigues Sora ; orient. Luís Soares Barbosa Produtos Computador Publication Guimarães : [s.n.], 2007 Description 1 disco óptico (CD-ROM) : il. ; em caixa 13x14x1 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Place hold Add to cart
No cover image available
Formal specification of an object-oriented framework for designing control systems / David Manuel Rodrigues Sora ; orient. Luís Soares Barbosa Monografia Publication Guimarães : [s.n.], 2007 Description XII, 230 p. : il. ; 30 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (2).

Place hold Add to cart