{"product_id":"practical-tla-planning-driven-development-9781484238288","title":"Tla+ práctico: desarrollo dirigido por la planificación","description":"\u003cb\u003eParte I: La semántica de TLA+ y PlusCal\u003c\/b\u003e1. Un ejemplo2. PlusCal3. Operadores y funciones4. Constantes, modelos e importaciones5. Concurrencia6. Lógica Temporal\u003cb\u003eParte II: Aplicando TLA+\u003c\/b\u003e\u003cbr\u003e7. Algoritmos8. Estructuras de datos9. Máquinas de estado10. Ambigüedad e interacción de características11. Estudio de caso: MapReduceApéndice A: MatemáticasApéndice B: Biblioteca PTApéndice C: PlusCal a TLA+\u003cbr\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-11877282\"\u003eHillel Wayne\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Apress\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 12\/10\/2018\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 221\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 0.96 lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 10.00h x 7.00w x 0.52d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9781484238288\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 1484238281\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-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM051010\"\u003eLenguajes | General\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- \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-COM051230\"\u003eDesarrollo de software e ingeniería | General\u003c\/a\u003e\u003cbr\u003e\u003cbr\u003e\u003cp\u003e\u003cb\u003eAcerca del autor\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eHillel Wayne es un consultor de software especializado en métodos formales y especificaciones. También escribe sobre ingeniería empírica, historia del software y educación. En su tiempo libre, hace malabares y chocolate. Vive en Chicago. Puedes encontrar su otro trabajo en hillelwayne.com o en Twitter en @hillelogram.\u003c\/p\u003e","brand":"Apress","offers":[{"title":"Default Title","offer_id":42663989281005,"sku":"9781484238288","price":44.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_b7e14f72-ac9a-425a-97a1-94a8683e06f5.jpg?v=1649399710","url":"https:\/\/sureshotbooks.com\/es\/products\/practical-tla-planning-driven-development-9781484238288","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}