On the Pursuit of Insight and Elegance, Kartoniert / Broschiert

On the Pursuit of Insight and Elegance

Buch

Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

Aktueller Preis: EUR 54,75

Versandkosten (United States of America): EUR 19,90

Herausgeber:: Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Thomas Wies
Verlag:: Springer, 01/2026
Einband:: Kartoniert / Broschiert
Sprache:: Englisch
ISBN-13:: 9783032137104
Artikelnummer:: 12610508
Umfang:: 168 Seiten
Gewicht:: 265 g
Maße:: 235 x 155 mm
Stärke:: 10 mm
Erscheinungstermin:: 8.1.2026
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

A Methodology for Modular Termination Verification.- Liveness to Safety for Distributed Systems.- On the Power of Temporal Prophecy.- The Beauty of Predicate Automata.- Find, Use, and Conserve Tools for Formal Methods.- On the Design of Program Logics.- Reasoning About Hilbert's Choice Operator in SMT.- PVS as a Proof Obligation Generator.- Concurrent ∀∃-Hyperproperties.