Formal Refinement for Operating System Kernels
| Опубликовано в: : | Springer e-books |
|---|---|
| Главный автор: | |
| Соавтор: | |
| Формат: | Электронная книга |
| Язык: | English |
| Публикация: |
London :
Springer-Verlag London Ltd,
2007
|
| Предметы: | |
| Online-ссылка: | http://dx.doi.org/10.1007/978-1-84628-967-5 Перейти в каталог НБ ТГУ |