Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming
$32.99List $39.99Save 18%Paperback
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9798896650270
1
Details
- Format
- Paperback
- ISBN-13
- 9798896650270
- Publisher
- Nobletrex Press
- Published
- November 10, 2024
- Pages
- 436
- Weight
- 20.5 oz
- Subject
- Computers
More by Robert Johnson
All books
The Boy Everyone Knew
Robert Johnson
$10.99
Wrenched
Robert Johnson
$13.99
The C++ Template Handbook: Advanced Techniques for Modern C++ Developers
Robert Johnson
$32.99
The JVM Handbook: A Developer's Guide to Java Virtual Machine
Robert Johnson
$32.99
Apache Hive Handbook: Query, Analyze, and Optimize Big Data
Robert Johnson
$32.99
The WebSockets Handbook: Seamless Communication for Web, Mobile, and IoT
Robert Johnson
$32.99
The SSL/TLS Handbook: Encryption, Certificates, and Secure Protocols
Robert Johnson
$32.99
ServiceNow Scripting Essentials: A Comprehensive Guide to Client-Side and Server-Side Development
Robert Johnson
$32.99
GPU Assembly and Shader Programming for Compute: Low-Level Optimization Techniques for High-Performance Parallel Processing
Robert Johnson
$32.99
Practical LoRaWAN for IoT: Deploying Low-Power Wide-Area Networks
Robert Johnson
$32.99
The xUnit Handbook: Building Quality Software with Automated Testing
Robert Johnson
$32.99
The LAMP Stack Handbook: Linux, Apache, MySQL, and PHP for Web Development
Robert Johnson
$32.99
Popular in Computers
Browse Computers
The Agi Chronicles: The Inside Story of the Race to Create an Artificial Superintelligence
Kevin Roose
$25.99
AI Engineering: Building Applications with Foundation Models
Chip Huyen
$65.99
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All
Eliezer Yudkowsky
$23.99
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
Martin Kleppmann
$58.99
Build a Large Language Model (from Scratch)
Sebastian Raschka
$65.99
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
$16.99
Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming
Eric Matthes
$38.99
Build a Reasoning Model (from Scratch)
Sebastian Raschka
$65.99
The Book of Why: The New Science of Cause and Effect
Judea Pearl
$18.99
The AI Con: How to Fight Big Tech's Hype and Create the Future We Want
Emily M. Bender
$25.99
The Linux Command Line, 3rd Edition: A Complete Introduction
William Shotts
$38.99
The God Test: Artificial Intelligence and Our Coming Cosmic Reckoning
Robert Wright
$23.99