Formal Verification of Just-In-Time Compilation
Formal Verification of Just-In-Time Compilation (ACM Books) Author: Aurèle Barrière (Author) ASIN: B0DVDTXHNF Publishe...
共 9 篇文章
标签：Compilers
The Elements of Computing Systems: Building a Modern Computer from First Principles 2nd edition
The Elements of Computing Systems, second edition: Building a Modern Computer from First Principles Author: Noam Nisan ,...
Building a Debugger: Write a Native x64 Debugger From Scratch
Building a Debugger: Write a Native x64 Debugger From Scratch Author: Sy Brand Publisher finelybook 出版社: No Starch Pr...
Learning Python: Powerful Object-Oriented Programming, 6th Edition
Learning Python: Powerful Object-Oriented Programming Author:by Mark Lutz (Author) Publisher finelybook 出版社:O’Rei...
Debunking C++ Myths: Embark on an insightful journey to uncover the truths behind popular C++ myths and misconceptions
Debunking C++ Myths: Embark on an insightful journey to uncover the truths behind popular C++ myths and misconceptions A...
Practical Haskell: A Real-World Guide to Functional Programming 3rd Edition
Practical Haskell: A Real-World Guide to Functional Programming Author:by Alejandro Serrano Mena (Author) Publisher fine...
Robotic Process Automation Technology in Supply Chain Management: Practical Applications for Simplifying Workflows
Robotic Process Automation Technology in Supply Chain Management: Practical Applications for Simplifying Workflows Autho...
Seven Obscure Languages in Seven Weeks: Rediscovering the Tools That Built the Future
Seven Obscure Languages in Seven Weeks: Rediscovering the Tools That Built the Future Author:Dmitry Zinoviev (Author) AS...