Browse

By Books2Africa Collection
By Subjects
By Authors
By Publishers

Login
0

books by author

Myreen

Filter by available

Formal Verification of Machine-Code Programs (Distinguished Dissertation)

By Myreen, Magnus O.

Curiosity by Books2Africa

Search, reserve and receive books from our extensive catalogue of donated books and partner resources available at your local Books2Africa office.

Books2Africa Collections

Bibles
Dictionaries & Learning Languages
French
Hobbies, Leisure & Cookery
Novels & Biographies
Nursery & Primary
Secondary
University - Arts
University - Biology, Medicine & Public Health
University - Business & Economics
University - Environmental Sciences
University - History and Politics
University - Law
University - Religion & Philosophy
University - Social Sciences, Psychology & Education
University - STEM

Learn More

About Us
How it Works
Request A Shipment
Partner Resources
Contact

Books2Africa Website
Privacy Policy
Cookie Policy
Terms & Conditions

© Books To Africa International is a UK registered charity (1152599) - An organisation in special consultative status with the United Nations Economic and Social Council (ECOSOC) since 2017. Unit 2, Barton Business Park, Canterbury, CT1 3AA.