Myreen, Magnus O.
Formal Verification of Machine-Code Programs (Distinguished Dissertation)
- Availability
- To see availability please select your region.
- Books2Africa Collection
-
- Subjects
- Author(s)
- Published
- 14th February 2011
- Publisher
- BCS
- ISBN-10
- 1906124817
- ISBN-13
- 9781906124816
To reserve this book you first need to set your reservation location.