Biblioteca da Universidade do Minho

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

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

Main Author Tojal, Joaquim José e Silva de Carvalho Secondary Author Sousa, Simão Melo de
Faria, José Miguel Corporate Author (Secondary) Universidade da Beira Interior. Departamento de Ciências de Computação Country Portugal. Publication Covilhã : [s.n.], 2010 Description 1 disco ótico (CD-ROM) : il. ; em caixa 13x14x1 cm Dissertation Note or Thesis: CDU 681.3
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 -T Available 428397
Total holds: 0

Título retirado do ecrã de título

Dissertação mestrado Computer Science Departamento de Ciências de Computação da Universidade da Beira Interior 2010

There are no comments for this item.

Log in to your account to post a comment.