Skip to content
Book Glossary

Formal proof of the AVM-1 microprocessor using the concept of generic interpreters

by Phillip J. Windley

Interpreters (Computer programs)ValidationMicroprocessorsComputer programs
Writing a summary for young readers…

For young readers

Book data: Open Library