LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation
$11.37
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by fondationcepeo.ca
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
$11.37
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by fondationcepeo.ca
Free 30-day returns Details
Product details
| Management number | 236848320 | Release Date | 2026/07/10 | List Price | $4.55 | Model Number | 236848320 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
Explore Lean to write mathematically verified software and understand the future of provably correct computation. Read more
| ASIN | B0FXYJZ224 |
|---|---|
| ISBN13 | 979-8271573743 |
| Language | English |
| Publisher | Independently published |
| Dimensions | 5.25 x 0.34 x 8 inches |
| Item Weight | 8.2 ounces |
| Print length | 149 pages |
| Publication date | October 25, 2025 |
Bestseller ranking
Machine Theory
Customers who viewed this product also viewed
Address Signs
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form