{ "item_title" : "Automatisierte Logik", "item_author" : [" Christoph Kreitz "], "item_description" : "Softwareprodukte 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. In diesem Buch werden die theoretischen Grundlagen derartiger Beweissysteme in umfassender Form dargestellt und ausf hrlich motiviert, so dass sich auch Leser mit geringen Vorkenntnissen einenberblickber 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.", "item_img_path" : "https://covers1.booksamillion.com/covers/bam/3/66/273/410/3662734109_b.jpg", "price_data" : { "retail_price" : "34.99", "online_price" : "34.99", "our_price" : "34.99", "club_price" : "34.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details