Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Modular Compiler Verification
Best Price (Coupon Required):
Buy Modular Compiler Verification for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general.
Reviews
Questions & Answers
From Number Theory to Physics
$169.99
Cruelty
$89.00
Survivalguide Studium
$17.99
Unternehmenskommunikation
$39.99
Konzeption und Grenzen freiheitlicher Demokratie
$74.99
Vorteilhaftigkeit hybrider Finanzinstrumente gegenber klassischen Finanzierungsformen unter Unsiche
$69.99
From Agglomeration to Innovation
$84.99
Finanzierungsdesign bei Venture-Capital-Vertrgen
$49.99
Horticultural Research International
$54.99
Entscheidungstheorie
$34.99
Future City Architecture for Optimal Living
$54.99
Magic
$6.71
OpenSolaris fr Anwender, Administratoren und Rechenzentren
$19.99
Supply Chain Risk
$169.99
The Language of Philosophy
$109.99
The Politics and Policies of Relief, Aid and Reconstruction
$54.99
Psychologie fr Erziehungswissenschaften und Soziale Arbeit
$29.99
Writing Migration through the Body
$49.99
Finanzwirtschaftliche Bilanz
$59.99
Handbook of Thromboprophylaxis
$39.99
Medical Image Computing and Computer Assisted Intervention MICCAI 2024
$89.99
The Andrews Festschrift
$109.99
The Trophic Spectrum Revisited
$169.99
Sonnenkollektoren
$34.99
Linienspektren
$69.99
Amelia Erroway: Castaway Commander (Hardcover)
$20.24
Adaptive Regression for Modeling Nonlinear Relationships
$79.99
Superparticles
$109.99
La patrulla fantasma
$5.96
Transformationen und Signale
$49.95
Relativism and Human Rights
$129.99
Machine Learning in Medicine - Cookbook
$54.99
The Logic of Social Practices
$109.99
Succession in Abandoned Fields
$129.00
Digital Signal Processing and Spectral Analysis for Scientists
$129.99
Microchip Methods in Diagnostics
$84.99
The Life Cycle of Copper, Its Co-Products and Byproducts
$109.99
Re-Reading Harry Potter
$54.99
Japan, the US, and Regional Institution-Building in the New Asia
$54.99
Advances in Dynamic Network Modeling in Complex Transportation Systems
$169.99
