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)
(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.
On the Pursuit of Insight and Elegance
Aktueller Preis: EUR 54,75
