SKU/Artículo: AMZ-B0FXYJZ224

LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation

Format:

Paperback

Kindle

Paperback

Detalles del producto
Disponibilidad:
En stock
Peso con empaque:
0.23 kg
Devolución:
Condición
Nuevo
Producto de:
Amazon
Viaja desde
USA

Sobre este producto
  • Explore Lean to write mathematically verified software and understand the future of provably correct computation.
AR$38.792
44% OFF
AR$21.552

IMPORT EASILY

By purchasing this product you can deduct VAT with your RUT number

AR$38.792
44% OFF
AR$21.552

Pagá fácil y rápido con Mercado Pago o MODO

Llega en 8 a 12 días hábiles
con envío
Tienes garantía de entrega
Este producto viaja de USA a tus manos en