
Interactive Theorem Proving
Mauricio Ayala-Rincón, César A. Muñoz
₹3,927

Their Design and Implementation
by R.G Loeliger
McGraw Hill Higher Education · 1981
Free delivery. Nothing extra to pay at checkout.
Threaded Interpretive Languages: Their Design and Implementation is written by R.G Loeliger. This edition from McGraw Hill Higher Education (1981) has 250 pages.
Topics covered include Interpreters (Computer programs), Programming languages (Electronic computers), Entwurf and Langages de programmation.