Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Automatisierte Logik Christoph Kreitz

Automatisierte Logik

Eine ausführlich motivierte Einführung von der Aussagenlogik bis zur konstruktiven Typentheorie.DE

Szerző: Christoph Kreitz
Nyelv: Német
Kötés: Puha kötésű
Kiadó: Springer, Berlin
Elérhetőség: Könyvújdonság
Küldés 30. 09. 2026
11 967 Ft
Softwareprodukte sind ein integraler Bestandteil unseres alltäglichen Lebens. Die Vielseitigkeit und...

Információk a könyvről

Szerző
Christoph Kreitz
Nyelv
Német
Kötés
Könyv - Puha kötésű
Kiadva
2026
oldal
270
EAN
9783662734100
Enbook ID
51538822
Kiadó
Springer, Berlin
Méretek
155 x 235

Teljes leírás

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 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.

Érdekelheti

Alchemilla sect. Longicaules

Mariam T. Tennoe
61 476 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Averaging for Nonlinear Dynamics with Applications and Numerical Bifurcations

Ferdinand Verhulst
58 934 Ft

Nos Origines... (Ed.1891-1897)

Alexandre Bertrand
7 190 Ft

Incremental Software Architecture - A Method for Saving Failing IT Implementations

Michael Bell
18 214 Ft

Bears Photos and Facts for Everyone: Animals in Nature

Isis Gaillard
5 954 Ft

Un yanqui en la corte del rey Arturo

Mark Twain
2 322 Ft

Braving All Borders

Karla M. Padrón
12 302 Ft

Autoportraits du rêveur

Benjamin
6 361 Ft