SKU/Artículo: AMZ-B0FY6TJTZ6

IDRIS 2 PROGRAMMING FOR DEPENDENT TYPE SYSTEMS: Formal software verification and provably correct computation models

Disponibilidad:
Fuera de stock
Peso con empaque:
0.36 kg
Devolución:
No
Condición
Nuevo
Producto de:
Amazon

Producto prohibido

Este producto no está disponible

Este producto viaja de USA a tus manos en