Introducing Software Verification With Dafny Language Proving Program Correctnes - Boro Sitnikovski - Paperback - en Book

37,95 €
+ 10,99 € Envío
  • product image

Introducing Software Verification With Dafny Language Proving Program Correctnes - Boro Sitnikovski - Paperback - en Book

  • Marca: Unbranded
Vendido por:

Introducing Software Verification With Dafny Language Proving Program Correctnes - Boro Sitnikovski - Paperback - en Book

  • Marca: Unbranded

37,95 €

En existencias
+ 10,99 € Envío

Política de devoluciones de 14 días

Vendido por:

37,95 €

En existencias
+ 10,99 € Envío

Política de devoluciones de 14 días

Métodos de pago:

Descripción

Introducing Software Verification With Dafny Language Proving Program Correctnes - Boro Sitnikovski - Paperback - en Book

Get Introduced To Software Verification And Proving Correctness Using The Microsoft Research-backed Programming Language, Dafny. While Some Other Books On This Topic Are Quite Mathematically Rigorous, This Book Will Use As Little Mathematical Symbols And Rigor As Possible, And Explain Every Concept Using Plain English. It's The Perfect Primer For Software Programmers And Developers With C And Other Programming Language Skills.writing Correct Software Can Be Hard, So You'll Learn The Concept Of Computation And Software Verification.
  • Marca: Unbranded
  • Categoría: Informática e Internet
  • Idioma: en
  • Autor: Boro Sitnikovski
  • Longitud: 152
  • Editor / Marca: Springer Nature B.V
  • Formato: Paperback
  • Nº de Fruugo : 492009288-1015637202
  • ISBN: 9781484279779

Entrega

Enviado en 24 horas

  • STANDARD: 10,99 € - Entrega entre mar 16 junio 2026–jue 18 junio 2026

Envío desde Reino Unido.

Devoluciones

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