finelybook
9781970001242
Verified Functional Programming in Agda
by: Aaron Stump
ISBN-10: 1970001240
ISBN-13: 9781970001242
Publication Date 出版日期: 2016-02-01
Pages: 284
xgwm
Verified Functional Programming in Agda
相关推荐
- Building Gen AI Applications with Amazon Bedrock: Architect Foundation Models into Secure, Scalable Generative AI Solutions Using Amazon Bedrock and AWS (English Edition)
- Mastering Data Engineering with BigQuery: Building Scalable Analytics and ML Pipelines with BigQuery
- The Segmentation Blueprint: Designing, Deploying, and Scaling Network Segmentation for Modern Cyber Defense
- Ai Unleashed: Industry Use Cases And Innovations
