Formal verification of machine-code programs - Distinguished Dissertation (Paperback)Magnus O. Myreen (author)
- We can order this
Publisher: BCS Learning & Development Limited
Number of pages: 132
Weight: 336 g
Dimensions: 297 x 210 x 7 mm
You may also be interested in...
Please sign in to write a review