Copied The Logic of Software. A Tasting Menu of Formal Methods
The Logic of Software. A Tasting Menu of Formal Methods
This Festschrift, dedicated to Reiner Hhnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universitt Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. The contributions in this volume reflect Reiners main research focus: formal methods, in particular applied to software verification.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$84.99 | $84.99 |
|
$76.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
The Proceedings of 2023 International Conference on Wireless Power Transfer (ICWPT2023)
$279.99
Reinforced Concrete with Worked Examples
$139.99
An Economic Interpretation of Linear Programming
$109.99
Semiparametric and Nonparametric Econometrics
$39.99
Transpirationsversuche mit Beta-Rben im Laboratorium und Freiland
$59.99
My Books Summer Grade 8 Fiction/Nonfiction 10-Book Bundle
$49.95
HCNA Networking Study Guide
$79.99
Children, Poverty and Nationalism in Lithuania, 19001940
$59.99
Zwischen Frmmigkeit, Konsumkultur und Feminismus
$64.99
Weihnachts-Werbespots als moderne Krippenspiele
$79.99
Geometric Measure Theory and Real Analysis
$37.99
Bird Books and Bird Art
$74.99
Customer Relationship Management in der Praxis
$39.99
Modernes Verkaufsmanagement
$69.99
Quantum States of Light
$69.99
Diseases of Cattle in the Tropics
$329.99
Essays on Government Growth
$99.00
Connecting People
$19.99
The Politics of Jane Austen
$109.99
Energy Efficiency in Motor Systems
$249.99
Gott ist Burger zu Bern
$89.99
Optimality in Infinite Horizon Economies
$54.99
Breast surgery
$159.99
Tight Junctions in Inflammation and Cancer
$219.99
Annotated Readings in the History of Statistics
$54.99
Kommunikationsmanagement deutscher Unternehmen in China
$59.99
Polizei und Sicherheit
$84.99
On Norbert Elias - Becoming a Human Scientist
$54.99
Molecular Mechanisms of Resistance to Agrochemicals
$169.99
Louis Auchincloss
$34.99
Kondensatoren
$59.99
Integrated Frequency Synthesis for Convergent Wireless Solutions
$109.99
The ortho Side of PCBs
$169.99
EG-Technologiepolitik und Kohsion
$49.99
Snapdragon
$9.74
ProstaTALK
$24.99
Environmental Populism
$37.99
Wegweiser fr den Praktikanten im Maschinen- und Elektromaschinenbau
$44.99
The Race of the Century (Hardcover)
$14.24
Twentieth-Century European Drama
$109.99
