Formal Refinement for Operating System Kernels

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

Сохранить в:
Библиографические подробности
Главный автор: Craig, Iain D. (Автор)
Соавтор: SpringerLink (Online service)
Формат: eКнига
Язык:English
Опубликовано: London : Springer London : Imprint: Springer, 2007.
Редактирование:1st ed. 2007.
Серии:Springer eBook Collection.
Предметы:
Software engineering.
Electronic resources (E-books)
Online-ссылка:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Логин Для информации по задолженностям и напоминаниям

Internet

Click to view e-book

Online

Подробно о фондах из Online
Шифр: E-Book
Copy 1 Доступно

Схожие документы