Introducing Software Verification With Dafny Language: Provi
Llega gratis el jueves 6 de junio
Retirá gratis entre el 6 y el 11/jun en correo y otros puntos
Ver en el mapaDisponible 28 días después de tu compra
¡Última disponible!
+1000 ventas
+1000
Ventas concretadas
No brinda buena atención
Despacha sus productos con demora
Características del producto
Características principales
Título del libro | Introducing Software Verification with Dafny Language: Proving Program Correctness |
---|---|
Autor | Boro Sitnikovski |
Idioma | Inglés |
Editorial del libro | aPress |
Tapa del libro | Tapa dura |
Otras características
ISBN | 9781484279779 |
---|
Preguntas y respuestas
¿Qué querés saber?
Preguntale al vendedor
Nadie hizo preguntas todavía. ¡Hacé la primera!