Formal refinement for operating system kernels

Author(s)

• Craig, I.

Bibliographic Information

Formal refinement for operating system kernels

Iain D. Craig

Springer, c2007

Note

Includes bibliographical references (p. [323])

Details

• NCID: BA8305191X
• ISBN:
  • 9781846289668
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London
• Pages/Volumes: xiii, 332 p.
• Size: 25 cm
• Classification:
  • DC22 : 005.42
• Subject Headings:
  • LCSH : Operating systems (Computers)