{"product_id":"the-little-prover-9780262527958","title":"El Pequeño Demostrador","description":"\u003cb\u003eUna introducción a la escritura de pruebas sobre programas informáticos, escrita en un estilo accesible de preguntas y respuestas, con ejemplos paso a paso y un asistente de pruebas sencillo.\u003c\/b\u003e\u003cp\u003e\u003ci\u003eThe Little Prover\u003c\/i\u003e introduce las pruebas inductivas como una forma de determinar hechos sobre programas informáticos. Está escrito en un estilo accesible y atractivo de preguntas y respuestas, con el humor característico de \u003ci\u003eThe Little Schemer\u003c\/i\u003e (cuarta edición, MIT Press). A veces, la mejor manera de aprender algo es sentarse y hacerlo; el libro guía a los lectores a través de ejemplos paso a paso que muestran cómo escribir pruebas inductivas. \u003ci\u003eThe Little Prover\u003c\/i\u003e asume solo el conocimiento de programas recursivos y listas (tal como se presentan en los primeros tres capítulos de \u003ci\u003eThe Little Schemer\u003c\/i\u003e) y utiliza solo unos pocos términos más allá de lo que los programadores novatos ya saben. El libro viene con un asistente de pruebas simple para ayudar a los lectores a trabajar con el libro y soluciones completas para cada ejemplo.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-116365\"\u003eDaniel P. Friedman\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-9451476\"\u003eCarl Eastlund\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e MIT Press\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 07\/10\/2015\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 248\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 1.05 libras\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 8.90 alto x 6.90 ancho x 0.50 profundidad\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9780262527958\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 0262527952\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-MAT\"\u003eMatemáticas\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-MAT018000\"\u003eLógica\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM051000\"\u003eProgramación | General\u003c\/a\u003e\u003cbr\u003e\u003cbr\u003e\u003cp\u003e\u003cb\u003eAcerca del autor\u003c\/b\u003e\u003cbr\u003eDaniel P. Friedman es profesor de Ciencias de la Computación en la Escuela de Informática, Computación e Ingeniería de la Universidad de Indiana y es autor de muchos libros publicados por MIT Press, incluidos \u003ci\u003eThe Little Schemer\u003c\/i\u003e y \u003ci\u003eThe Seasoned Schemer\u003c\/i\u003e (con Matthias Felleisen); \u003ci\u003eThe Little Prover\u003c\/i\u003e (con Carl Eastlund); y \u003ci\u003eThe Reasoned Schemer\u003c\/i\u003e (con William E. Byrd, Oleg Kiselyov y Jason Hemann). \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003eCarl Eastlund es ingeniero de software en Jane Street Capital en la ciudad de Nueva York. \u003cp\u003e\u003c\/p\u003eMatthias Felleisen es Profesor Titular en el College of Computer Science de la Northeastern University.","brand":"MIT Press","offers":[{"title":"Default Title","offer_id":44442302152941,"sku":"9780262527958","price":75.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_79e48b17-8ff7-4c8d-bdac-69e8253722bc.jpg?v=1700204319","url":"https:\/\/sureshotbooks.com\/es\/products\/the-little-prover-9780262527958","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}