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
Sex, Money, Happiness, and Death
$79.99
Overcoming Antimicrobial Resistance of the Skin
$169.99
Logic Synthesis for Control Automata
$169.99
Systems and Information Sciences
$219.99
Nietzsche as Affirmative Thinker
$109.99
Middle School Mischief (The Magical Reality of Nadia #2) (Hardcover)
$11.99
Entwicklungsmanagement
$74.99
Illegalisierter Substanzkonsum von Akteuren aus der Suchthilfe
$44.99
Pumpspeicher an Bundeswasserstraen
$29.99
New Developments in the Dynamics of Planetary Systems
$169.99
The Stationary Semiconductor Device Equations
$109.99
Enzymology and Molecular Biology of Carbonyl Metabolism 4
$39.99
Arbeitsplatz Gastroenterologische Praxis
$44.99
East European Transition and EU Enlargement
$109.99
Climate Atlas of the Atlantic Ocean
$39.99
Performing Against Annihilation
$129.99
QoS Routing Algorithms for Wireless Sensor Networks
$109.99
Urban Inequalities
$89.00
Uterine Cancer
$219.99
Islamic Law in Malaysia
$179.99
Hope for the Giant Panda
$129.00
Heat Shock Proteins in Neural Cells
$129.00
Ma und Wahrscheinlichkeit
$39.99
Barnes & Noble Tell Me What Really Happened by Chelsea Sedoti
$11.99
Recent Advances in Soft Computing and Cybernetics
$179.99
Functional Processing of Delta-Sigma Bit-Stream
$79.99
Empirische Befunde zur Interkulturalitt bei einem Automobilkonzern
$59.99
How to Build a Life in the Humanities
$54.99
Multiple Electron Resonance Spectroscopy
$39.99
Brightening Tomorrow Together 2024
$199.99
Russian Montparnasse
$84.99
Concepts for Distributed Systems Design
$39.99
Nitrogen Economy in Tropical Soils
$259.00
Der wissenschaftliche Umgang mit Zukunft
$74.99
American Chaucers
$54.99
Uyat and the Culture of Shame in Central Asia
$54.99
Lehrbuch der Entwicklungsgeschichte des Menschen
$49.99
History of Economic Ideas in 20 Talks
$54.99
The Early Universe and the Cosmic Microwave Background: Theory and Observations
$329.99
Formale und informale Netzwerkstrukturen im Unternehmen
$59.99
