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 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
The Making of Dignity and Human Rights in the Western Tradition
$159.99
Und der Tod wird nicht mehr sein ..
$59.99
Netherlands Yearbook of International Law - 2007
$109.99
Minimally Invasive Spine Intervention
$169.99
In the Small, Pond by Denise Fleming
$8.99
Metal-Ligand Interactions in Chemistry, Physics and Biology
$169.99
How to Work with Space
$159.99
Problems in Laser Physics
$119.99
The China-Latin America Axis
$39.99
Engineering Economics: Decisions and Solutions from Eurasian Perspective
$219.99
Methodologie der medizinischen Diagnostik
$79.99
Ergebnisse der Physiologie Biologischen Chemie und Experimentellen Pharmakologie
$44.99
NMDA Receptors
$169.99
Practical Channel-Aware Resource Allocation
$54.99
Amino Acid Neurotransmitters
$39.99
The Permian of Northern Pangea
$84.99
Das Widerstandsvermgen des Fues
$44.99
Evaluating Voting Systems with Probability Models
$139.00
Werksttten
$49.99
The Synergy of Business Theory and Practice
$109.99
Multiculturalism, Whiteness and Otherness in Australia
$54.99
Soziale Determinanten des Drogengebrauchs
$69.95
Smittestopp A Case Study on Digital Contact Tracing
$37.99
The Pediatric Spine I
$39.99
Pro PowerShell Desired State Configuration
$99.99
Determinanten der IT-Agilitt
$49.99
The Expression of Attitude
$54.99
Logic Programming '86
$39.99
Pain
$74.99
Lumbar Fusion and Stabilization
$54.99
A War of Empires- Japan, India, Burma & Britain- 1941-45 by Robert Lyman
$24.00
Neural Cell Transplantation
$109.99
Spatial Analysis and GeoComputation
$109.99
The Basal Ganglia IV
$39.99
Global Justice and the Politics of Recognition
$109.99
Dual Diagnosis
$109.99
Piracy at Sea
$169.99
High Performance Algorithms and Software for Nonlinear Optimization
$169.99
Modified Inferior Turbinoplasty
$64.99
Transactions on Engineering Technologies
$169.99
