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.31 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.
$38,29
55% OFF
$17,41

IMPORT EASILY

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

$38,29
55% OFF
$17,41

3 meses de gracia en diferidos y hasta 6 meses sin intereses con Pacificard

Envío gratis
Llega en 5 a 12 días hábiles
Con envío
Tienes garantia de entrega
Este producto viaja de USA a tus manos en