Automatisierte Logik: Eine Ausführlich Motivierte Einführung Von Der Aussagenlogik Bis Zur Konstruktiven Typentheorie, (Paperback)
Product details
| Management number | 238841173 | Release Date | 2026/07/11 | List Price | US$14.00 | Model Number | 238841173 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
<p>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.</p> <p>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 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.</p>
- Automatisierte Logik: Eine Ausführlich Motivierte Einführung Von Der Aussagenlogik Bis Zur Konstruktiven Typentheorie, (Paperback)
- Author: Christoph Kreitz
- ISBN: 9783662734100
- Format: Paperback
- Publication Date: 2026-09-20
- Page Count: 270
| Book format | Paperback |
|---|---|
| Fiction/nonfiction | Non-Fiction |
| Genre | Textbooks |
| Publication date | October, 2026 |
| Pages | 270 |
| Subgenre | Logic |
| Series title | No Series |
| Number in series | 0 |
| Edition | 1 |
| Publisher | Springer |
| Original languages | German |
| Language | German |
| Edu focus | Mathematics |
| Is collectible | N |
| Recording time | 0 min |
| Retail packaging | Single Piece |
| Assembled product dimensions (l x w x h) | 6.10 x 6.00 x 9.25 in |
| Assembled product weight | 1.25 lb |
| Bisac subject heading | Mathematics |
Bestseller ranking
All Books
Customers who viewed this product also viewed
Boys Boots
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form