Biblioteca da Universidade do Minho

Your cart is empty.
No cover image available
Normal view MARC view ISBD view

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

Main Author Passos, André Brito Secondary Author Sousa, Simão Melo de
Faria, José Miguel Corporate Author (Secondary) Universidade da Beira Interior. Faculdade de Engenharia. Country Portugal. Publication [Covilhã : s.n.], 2009 Description 1 disco ótico (CD-ROM) : il. ; em caixa 13x15x1 cm Dissertation Note or Thesis: CDU 681.3.06
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Holdings
Item type Current location Collection Call number Status Date due Barcode Item holds
Produtos Computador Biblioteca Geral da Universidade do Minho
Teses e Dissertações BGUM1 681.3.06 - P Available 430243
Total holds: 0

Título e menção de responsabilidade retirados da etiqueta do disco ótico

Dissertação mestrado Engenharia Informática Departamento de Engenharia Informática da Universidade da Beira Interior 2009

There are no comments for this item.

Log in to your account to post a comment.