Biblioteca da Universidade do Minho

Your cart is empty.

Refine your search

Your search returned 2 results. Subscribe to this search

|
No cover image available
Towards a formally designed and verified embedded operating system [Documento eletrónico] : case study using the B Method / André Brito Passos ; orient. Simão Melo de Sousa, José Miguel Faria Produtos Computador Publication [Covilhã : s.n.], 2009 Description 1 disco ótico (CD-ROM) : il. ; em caixa 13x15x1 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Towards a formally verified microkernel using the VCC verifier [Documento eletrónico] / Joaquim José e Silva de Carvalho Tojal ; orient. Simão Melo de Sousa, José Miguel Faria Produtos Computador Publication Covilhã : [s.n.], 2010 Description 1 disco ótico (CD-ROM) : il. ; em caixa 13x14x1 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart