{"product_id":"the-calculus-of-computation-decision-procedures-with-applications-to-verification-9783642093470","title":"El cálculo de la computación: procedimientos de decisión con aplicaciones a la verificación","description":"Fundamentos.- Lógica Proposicional.- Lógica de Primer Orden.- Teorías de Primer Orden.- Inducción.- Corrección de Programas: Mecánica.- Corrección de Programas: Estrategias.- Razonamiento Algorítmico.- Aritmética Lineal Cuantificada.- Aritmética Lineal Libre de Cuantificadores.- Igualdad y Estructuras de Datos Libres de Cuantificadores.- Combinación de Procedimientos de Decisión.- Arrays.- Generación de Invariantes.- Lecturas Adicionales.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-4115102\"\u003eAaron R. Bradley\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-216968\"\u003eZohar Manna\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 19\/10\/2010\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 366\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 1.18lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.21h x 6.14w x 0.79d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9783642093470\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 3642093477\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-COM014000\"\u003eCiencias de la Computación\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-COM036000\"\u003eDiseño Lógico\u003c\/a\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\u003cp\u003e\u003ci\u003eEste título no es retornable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":44697266127085,"sku":"9783642093470","price":89.98,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_9cb7bd81-5674-4860-819d-6abadbafce1b.jpg?v=1703814952","url":"https:\/\/sureshotbooks.com\/es\/products\/the-calculus-of-computation-decision-procedures-with-applications-to-verification-9783642093470","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}