Formal Refinement for Operating System Kernels
Formal Refinement for Operating System Kernels
- Springer Germany 2007
Subscription to database on August 2010
978-3-540-23658-0
Computer Science
كتب إلكترونية
Subscription to database on August 2010
978-3-540-23658-0
Computer Science
كتب إلكترونية