Kindle Store > Kindle Unlimited > Professional & Technical > Professional Science > Mathematics > Pure Mathematics > Logic
LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically verified software development
Product ID: B0H965GSW1
Condition: New
$ 83
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
ozow
Product Description
LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically verified software development
Technical Specifications
Country
USA
IsAdultProduct
ReleaseDate
2026-07-27T00:00:00-00:00
Author
Nuhu, Stephen
You might also like
Colors of Animals We See, Some are Pets that Belong to Me: Learn the colors 2nd/3rd Grade Reader
The Power of GIA: Evolution of a S-Hero
Spellcasters
El Angel que Revoluciono al Mundo: el secreto del angel que guarda el equilibrio (Spanish Edition)
Lenguaje universal: Telestesia (Distopías del alma) (Spanish Edition)
Tratados de Beitzah & Meguilá: El Talmud a la Luz del Nuevo Testamento (El Orden de las Festividades del Talmud en el Seder Moed) (Spanish Edition)
DIMENSION: Ekklesia (Spanish Edition)
WESTERNMANIA: La aventura definitiva (Spanish Edition)