Passos,, André Brito
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
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
. - [Covilhã : s.n.], 2009
. - 1 disco ótico (CD-ROM) : il. em caixa 13x15x1 cm
. - Título e menção de responsabilidade retirados da etiqueta do disco ótico
. -
681.3.06