Formal Refinement for Operating System Kernels

Formal Refinement for Operating System Kernels by Iain D. Craig.

Na minha lista:
Detalhes bibliográficos
Autor principal: Craig, Iain D. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: livro eletrônico
Idioma:English
Publicado em: London : Springer London : Imprint: Springer, 2007.
Edição:1st ed. 2007.
coleção:Springer eBook Collection.
Assuntos:
Software engineering.
Electronic resources (E-books)
Acesso em linha:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Entrar para informação da reserva e levantamento

Internet

Click to view e-book

Online

Detalhes do Exemplar Online
Número de Chamada: E-Book
Copy 1 Disponível

Registros relacionados