Formal Refinement for Operating System Kernels
Record details
- ISBN: 9781846289675
- Physical Description: XVI, 336 p. online resource.
- Publisher: London : Springer London, 2007.
Search for related items by subject
Subject: | Computer science. Software engineering. Computer Science. Software Engineering/Programming and Operating Systems. |