Domain restposten-aller-art.de kaufen?
Wir ziehen mit dem Projekt
restposten-aller-art.de um.
Sind Sie am Kauf der Domain
restposten-aller-art.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain restposten-aller-art.de kaufen?
Springer Deductive Software Verification: Future Perspectives (Englisch, Softcover, Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, Richard Bubel, Wolfgang Ahrendt) (56163377)
Springer Deductive Software Verification: Future Perspectives (Englisch, Softcover, Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, Richard Bubel, Wolfgang Ahrendt) (56163377)
53,49 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Deductive Software Verification: Future Perspectives, Fachbücher von Bernhard Beckert, Reiner Hähnle, Wolfgang Ahrendt, Mattias Ulbrich, Richard Bubel
"Deductive Software Verification: Future Perspectives" ist ein Fachbuch, das anlässlich des 20-jährigen Bestehens des KeY-Projekts veröffentlicht wurde, welches sich auf die deduktive Softwareverifikation konzentriert. In den letzten zwei Jahrzehnten hat sich das Gebiet der deduktiven Verifikation erheblich weiterentwickelt. Die Unterstützung realer Programmiersprachen durch deduktive Verifikationstools ist mittlerweile weit verbreitet, was bedeutende theoretische und technische Herausforderungen mit sich brachte. Das Buch versammelt Beiträge von anerkannten Experten, die sich mit den neuesten Herausforderungen in diesem Bereich auseinandersetzen. Die Themen reichen von der Entwicklung von Werkzeugen über Effizienz- und Benutzerfreundlichkeitsüberlegungen bis hin zu neuartigen Spezifikations- und Verifikationsmethoden. Ziel ist es, den Leserinnen und Lesern einen aktuellen Eindruck vom Stand der Technik in der deduktiven Verifikation zu vermitteln und sie zu inspirieren, sich aktiv in diesem Bereich zu engagieren und Kooperationen einzugehen.
53,49 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Springer-Deductive-Software-Verification
Top-Angebote
Produkte zum Begriff Springer-Deductive-Software-Verification:
-
Springer Deductive Software Verification - The KeY Book (Englisch, Softcover, Bernhard Beckert, Mattias Ulbrich, Peter H. Schmitt, Reiner Hähnle, Richard Bubel, Wolfgang Ahrendt) (55856833)Springer Deductive Software Verification - The KeY Book (Englisch, Softcover, Bernhard Beckert, Mattias Ulbrich, Peter H. Schmitt, Reiner Hähnle, Richard Bubel, Wolfgang Ahrendt) (55856833)128,39 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Deductive Software Verification - The KeY Book, Fachbücher von Bernhard Beckert, Wolfgang Ahrendt, Reiner Hähnle, Mattias Ulbrich, Richard Bubel, Peter H. Schmitt"Deductive Software Verification - The KeY Book" ist ein umfassendes Fachbuch, das sich mit der statischen Analyse von Software durch deduktive Methoden beschäftigt. In einem sich schnell entwickelnden Forschungsfeld bietet dieses Buch eine detaillierte Einführung in die KeY-Plattform, die eine Vielzahl von automatisierten Analysen ermöglicht, darunter formale Verifikation, Testgenerierung, Sicherheitsanalysen, Visualisierung und Debugging. Es richtet sich sowohl an aktive Forscher, die ein tiefes Verständnis der theoretischen Grundlagen von KeY erlangen möchten, als auch an Studierende, die sich mit der Java Modeling Language und der praktischen Anwendung von KeY vertraut machen wollen. Die Kapitel sind so strukturiert, dass sie für Leser mit grundlegenden Java-Kenntnissen zugänglich sind, während die umfassende Theorie auch für fortgeschrittene Studierende geeignet ist. Die KeY-Software ist kostenlos und offen zugänglich, was die praktische Anwendung der im Buch behandelten Konzepte unterstützt.128,39 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Springer-Deductive-Software-Verification:
-
Springer Deductive Software Verification: Future Perspectives (Englisch, Softcover, Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, Richard Bubel, Wolfgang Ahrendt) (56163377)Springer Deductive Software Verification: Future Perspectives (Englisch, Softcover, Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, Richard Bubel, Wolfgang Ahrendt) (56163377)53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Deductive Software Verification: Future Perspectives, Fachbücher von Bernhard Beckert, Reiner Hähnle, Wolfgang Ahrendt, Mattias Ulbrich, Richard Bubel"Deductive Software Verification: Future Perspectives" ist ein Fachbuch, das anlässlich des 20-jährigen Bestehens des KeY-Projekts veröffentlicht wurde, welches sich auf die deduktive Softwareverifikation konzentriert. In den letzten zwei Jahrzehnten hat sich das Gebiet der deduktiven Verifikation erheblich weiterentwickelt. Die Unterstützung realer Programmiersprachen durch deduktive Verifikationstools ist mittlerweile weit verbreitet, was bedeutende theoretische und technische Herausforderungen mit sich brachte. Das Buch versammelt Beiträge von anerkannten Experten, die sich mit den neuesten Herausforderungen in diesem Bereich auseinandersetzen. Die Themen reichen von der Entwicklung von Werkzeugen über Effizienz- und Benutzerfreundlichkeitsüberlegungen bis hin zu neuartigen Spezifikations- und Verifikationsmethoden. Ziel ist es, den Leserinnen und Lesern einen aktuellen Eindruck vom Stand der Technik in der deduktiven Verifikation zu vermitteln und sie zu inspirieren, sich aktiv in diesem Bereich zu engagieren und Kooperationen einzugehen.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer Deductive Software Verification - The KeY Book (Englisch, Softcover, Bernhard Beckert, Mattias Ulbrich, Peter H. Schmitt, Reiner Hähnle, Richard Bubel, Wolfgang Ahrendt) (55856833)Springer Deductive Software Verification - The KeY Book (Englisch, Softcover, Bernhard Beckert, Mattias Ulbrich, Peter H. Schmitt, Reiner Hähnle, Richard Bubel, Wolfgang Ahrendt) (55856833)128,39 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Springer-Deductive-Software-Verification
-
Deductive Software Verification - The KeY Book, Fachbücher von Bernhard Beckert, Wolfgang Ahrendt, Reiner Hähnle, Mattias Ulbrich, Richard Bubel, Peter H. Schmitt"Deductive Software Verification - The KeY Book" ist ein umfassendes Fachbuch, das sich mit der statischen Analyse von Software durch deduktive Methoden beschäftigt. In einem sich schnell entwickelnden Forschungsfeld bietet dieses Buch eine detaillierte Einführung in die KeY-Plattform, die eine Vielzahl von automatisierten Analysen ermöglicht, darunter formale Verifikation, Testgenerierung, Sicherheitsanalysen, Visualisierung und Debugging. Es richtet sich sowohl an aktive Forscher, die ein tiefes Verständnis der theoretischen Grundlagen von KeY erlangen möchten, als auch an Studierende, die sich mit der Java Modeling Language und der praktischen Anwendung von KeY vertraut machen wollen. Die Kapitel sind so strukturiert, dass sie für Leser mit grundlegenden Java-Kenntnissen zugänglich sind, während die umfassende Theorie auch für fortgeschrittene Studierende geeignet ist. Die KeY-Software ist kostenlos und offen zugänglich, was die praktische Anwendung der im Buch behandelten Konzepte unterstützt.128,39 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
* Alle Preise verstehen sich inklusive der gesetzlichen Mehrwertsteuer und ggf. zuzüglich Versandkosten. Die Angebotsinformationen basieren auf den Angaben des jeweiligen Shops und werden über automatisierte Prozesse aktualisiert. Eine Aktualisierung in Echtzeit findet nicht statt, so dass es im Einzelfall zu Abweichungen kommen kann. ** Hinweis: Teile dieses Inhalts wurden von KI erstellt.