{"product_id":"9783662734100","title":"Automatisierte Logik Eine ausführlich motivierte Einführung von der Aussagenlogik bis zur konstruktiven Typentheorie","description":"\u003ch1\u003eAutomatisierte Logik\u003c\/h1\u003e\u003ch2\u003eEine ausführlich motivierte Einführung von der Aussagenlogik bis zur konstruktiven Typentheorie\u003c\/h2\u003e\u003ch3\u003eChristoph Kreitz\u003c\/h3\u003e\u003cdiv\u003e\u003cb\u003eMathematics \/ Logic\u003c\/b\u003e\u003c\/div\u003e\u003cbr\u003e\u003cdiv\u003e\n\u003cp\u003eSoftwareprodukte sind ein integraler Bestandteil unseres alltäglichen Lebens. Die Vielseitigkeit und Komplexität von Software führt aber zu großen Problemen bei ihrer Zuverlässigkeit, insbesondere beim Einsatz in sicherheitskritischen Bereichen. Um wichtige Eigenschaften von Software sicherzustellen, ist es erforderlich, Softwarekomponenten und -systeme mithilfe logisch-formaler Beweissysteme zu verifizieren oder sogar zu synthetisieren.\u003c\/p\u003e\r\n\u003cp\u003eIn diesem Buch werden die theoretischen Grundlagen derartiger Beweissysteme in umfassender Form dargestellt und ausführlich motiviert, so dass sich auch Leser mit geringen Vorkenntnissen einen Überblick über dieses komplexe Gebiet verschaffen können. Es eignet sich als Grundlage für eine entsprechende Lehrveranstaltung, ist aber auch für Spezialisten von Interesse, die sich selbständig in diese Thematik einarbeiten wollen.\u003c\/p\u003e\n\u003c\/div\u003e\u003cdiv\u003e\u003cp\u003eChristoph Kreitz ist Professor (emeritus) für theoretische Informatik an der Universität Potsdam und forscht seit über 35 Jahren auf dem Gebiet des Theorembeweisens und der logik-basierten Programmsynthese.\u003c\/p\u003e\u003c\/div\u003e\u003cbr\u003e\u003ctable\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublication Date: \u003c\/td\u003e\n\u003ctd\u003e20 September 2026\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublisher: \u003c\/td\u003e\n\u003ctd\u003eSpringer Berlin Heidelberg\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eImprint: \u003c\/td\u003e\n\u003ctd\u003eSpringer Spektrum\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eISBN-13: \u003c\/td\u003e\n\u003ctd\u003e9783662734100\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eFormat: \u003c\/td\u003e\n\u003ctd\u003ePaperback \/ softback\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePage Count: \u003c\/td\u003e\n\u003ctd\u003e270\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003c\/table\u003e","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":51042686959756,"sku":"9783662734100","price":31.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783662734100.jpg?v=1782524317","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783662734100","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}