Automatisierte Logik Eine ausführlich motivierte Einführung von der Aussagenlogik bis zur konstruktiven Typentheorie
-
- Deutsch ausgewählt
32,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
27.07.2026
Abbildungen
XII, Abbildung mit Online-Extras., schwarz-weiss Illustrationen
Verlag
Springer BerlinSeitenzahl
270
Maße (L/B)
23,5/15,5 cm
Sprache
Deutsch
ISBN
978-3-662-73410-0
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.
Ein neues Kapitel für Ihre Bücher
Ein neues Kapitel für Ihre Bücher
Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.
Jetzt verkaufenKundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice