Qed At Large by Zachary Tatlock Paperback

74,00 €
+ 7,99 € Envío

Black Friday

Compre ahora
  • product image

Qed At Large by Zachary Tatlock Paperback

  • Marca: Unbranded
Vendido por:

Qed At Large by Zachary Tatlock Paperback

  • Marca: Unbranded

74,00 €

Solo quedan 1 en el inventario
+ 7,99 € Envío
Vendido por:

74,00 €

Solo quedan 1 en el inventario
+ 7,99 € Envío

Aceptamos los siguientes métodos de pago

Descripción

Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underlying assumptions. Tools supporting such development have been available for over 40 years but have only recently seen wide practical use. Projects based on construction of machinechecked formal proofs are now reaching an unprecedented scale comparable to large software projects which leads to new challenges in proof development and maintenance.
  • Marca: Unbranded
  • Categoría: Informática e Internet
  • Idioma: English
  • Fecha de publicación: 2019-09-03
  • Autor: Zachary Tatlock
  • Longitud: 194
  • Editor / Marca: now publishers Inc
  • Formato: Paperback
  • Nº de Fruugo : 339417594-744581621
  • ISBN: 9781680835946

Entrega y devolución

Enviado en 24 horas

  • STANDARD: 7,99 € - Entrega entre mar 02 diciembre 2025–jue 04 diciembre 2025

Envío desde Reino Unido.

Hacemos todo lo posible para asegurarnos de que se le entreguen los productos que pida en su totalidad y de acuerdo con sus especificaciones. Sin embargo, si recibe un pedido incompleto o artículos diferentes a los que pidió, o hay alguna otra razón por la que no está satisfecho con el pedido, puede devolver el mismo o cualquier producto incluido en él y obtener un reembolso completo por los artículos. Vea la política de devolución completa