Formal Verification of Just-In-Time Compilation (ACM Books)
Author: Aurèle Barrière (Author)
ASIN: B0DVDTXHNF
Publisher finelybook 出版社: ACM Books
Edition 版本: N/A
Publication Date 出版日期: 2025-01-28
Language 语言: English
Print Length 页数: 176 pages
ISBN-13: 9798400713774
Book Description
下载地址
PDF, EPUB | 10 MB | 2025-03-27
相关推荐
System Programming in Linux: A Hands-On Introduction
A Practical Guide to Quantum Computing: Hands-on approach to quantum computing with Qiskit
Azure for Developers: The definitive guide to creating secure, scalable Azure apps with GenAI, serverless, and DevOps pipelines, 3rd Edition
Mastering Algorithms: A systematic approach to data structures and problem-solving techniques
Road to Kubernetes
Microsoft 365 Excel All-in-One For Dummies