Formal Refinement for Operating System Kernels
Springer; 1 edition | ISBN:1846289661 | 336 pages | July 25, 2007 | PDF | 1 Mb
(more…)
Categories
Animal | Application |Art | Artificial Intelligence | Business | Certification | Commerce | Computer - Hardware | Databases | Electronics | Engineering | Grammar | History | Intelligence | Internet | IT - General | Language | Magazine | Medical | Photographic | Networking| Programming | Security | Uncategorized | WWW
Animal | Application |Art | Artificial Intelligence | Business | Certification | Commerce | Computer - Hardware | Databases | Electronics | Engineering | Grammar | History | Intelligence | Internet | IT - General | Language | Magazine | Medical | Photographic | Networking| Programming | Security | Uncategorized | WWW
Giga E-Books Collection » IT
-
Posted: July 10th, 2009, 2:13pm CEST by chandana
Tags: [edit]
Full download