SKU/Artículo: AMZ-3866446233

Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction

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

Fuera de stock

Selecciona otra opción o busca otro producto.

Este producto viaja de USA a tus manos en
Medios de pago Aceptamos múltiples medios de pago para tu comodidad

Compra protegida

Disfruta de una experiencia de compra segura y confiable