{"product_id":"9783031249334","title":"Concrete Abstractions: Formalizing And Analyzing Discrete Theories And Algorithms With The Riscal Model Checker (Texts \u0026 Monographs In Symbolic Computation)","description":"This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. This formal language is the language of RISCAL, a “mathematical model checker” by which the validity of all formulas and the correctness of all algorithms can be automatically decided. The RISCAL software is freely available; all formal contents presented in the book are given in the form of specification files by which the reader may interact with the software while studying the corresponding book material.\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e\u003cul\u003e\n\u003cli\u003e| \u003cb\u003eAuthor: \u003c\/b\u003eWolfgang Schreiner\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003ePublisher: \u003c\/b\u003eSpringer\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003ePublication Date: \u003c\/b\u003eApr 12, 2023\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eNumber of Pages: \u003c\/b\u003e283 pages\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eLanguage: \u003c\/b\u003eEnglish\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eBinding: \u003c\/b\u003eHardcover\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eISBN-10: \u003c\/b\u003e303124933X\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eISBN-13: \u003c\/b\u003e9783031249334\u003c\/li\u003e\n\u003c\/ul\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":48295416725809,"sku":"9783031249334","price":92.51,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0798\/8215\/8385\/products\/9783031249334.jpg?v=1707674659","url":"https:\/\/www.recomparo.com\/es\/products\/9783031249334","provider":"ReComparo.com","version":"1.0","type":"link"}