Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz

Name: Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
Price: 429.00 BOB
Availability: InStock

ID del producto: 362195746

Transacción segura

Comprados juntos con frecuencia

Descripción

Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz

Preguntas comunes

Trustpilot

Trustscore 4.5 | Más de 7,300 reseñas

Anjali K.

La calidad del producto es excelente. Exactamente lo que necesitaba para mi trabajo.

Hace 1 mes

Anita G.

Buena experiencia, pero las actualizaciones de seguimiento podrían ser mejores.

Hace 2 meses

Ver todas las reseñas de confianza

Compre globalmente, ahorre con Desertcart

Valor por dinero

Precios competitivos en una amplia gama de productos.

Compre globalmente

Sirviendo a millones de compradores en más de 100 países

Protección mejorada

Opciones de pago confiables que adoran los compradores de todo el mundo

Garantía del cliente

Opciones de pago confiables amadas por los compradores de todo el mundo.

Aplicación DesertCart

Compre sobre la marcha, en cualquier momento y en cualquier lugar.

Bs.429

Derechos e impuestos incl.

Boliviaalmacenar

Envío gratis

with PRO Membership

Devoluciones gratuitas

30 diaspara usuarios de membresía PRO

15 diassin membresía

Transacción segura

Trustpilot

Trustscore 4.5 | Más de 7,300 reseñas

Meera L.

Transacción sin problemas y el producto llegó en perfectas condiciones.

Hace 3 semanas

Aisha M.

El producto coincide exactamente con la descripción. Muy satisfecho con mi compra.

Hace 5 días

Ver todas las reseñas de confianza