Programmlogiken für zertifizierte Compiler von Andrew W. Appel (Englisch) Hardcover Bo
154,00 €
His research is in software verification, computer security, programming languages and compilers, automated theorem proving, and technology policy. He is known for his work on Standard ML of New Jersey and on Foundational Proof-Carrying Code.
Jetzt bei Ebay:
