The SECD Microprocessor: A Verification Case Study by Brian T. Graham (English)
123,72 €
1.2 The HOL System. - 2 LispKit and the SECD Architecture. - 2.2 The Interpretation of LispKit. - 2.3 SECD Architecture. - 2.4 LispKit to SECD Machine Code. - 2.5 Summary. - 3 SECD Architecture: Silicon Synthesis.
Jetzt bei Ebay:
