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
Systemorientierte Tiefenanalyse komplexer Organisationsprobleme
$84.99
Biological Invasions in South Africa
$59.99
Artificial Earth Satellites
$54.99
Universal Access in Human-Computer Interaction. Access to Learning, Health and Well-Being
$54.99
Personalpolitische Handlungsalternativen mit lteren Arbeitnehmern in Unternehmen vor dem Hintergrun
$74.99
Angiography of the Mesencephalon
$59.99
ffentliche bernahme durch Anschleichen unter besonderer Bercksichtigung der Meldepflichten nach d
$109.00
Sugar Chains
$109.99
Masken und Maskierungen
$64.99
Experimentelle Anaesthesie: Ethik und Planung
$69.99
Natural Selection
$219.00
Oral and Cranial Implants
$109.99
Synthese von Polysacchariden. Neuere Ergebnisse der Getreide- und Brotforschung
$59.99
Education and Technology in Sciences
$39.99
Brcken zwischen Psychiatrie und Philosophie
$54.99
Medicine in Iran
$39.99
Integrated Education in Conflicted Societies
$54.99
I Am Ozzy by Ozzy Osbourne
$18.99
Large-Scale Structure of the Universe
$129.00
Random vibrations of elastic systems
$109.99
The Picture Book of Quantum Mechanics
$44.99
Kosten- und Leistungsrechnung im Handel
$64.99
Medienresonanzanalyse
$19.99
CMOS Front Ends for Millimeter Wave Wireless Communication Systems
$109.99
Making Sense of the Paranormal
$69.99
Alternative Investments verstndlich verkaufen
$39.99
Messung von Primrteilchen der Kosmischen Strahlung (S)
$59.99
Reading Maimonides' Philosophy in 19th Century Germany
$129.00
C.S. Lewis's Chronicles of Narnia Grades 4-6
$40.00
Polymer Blends and Composites
$39.99
Beginning Windows Mixed Reality Programming
$39.99
Corporate Governance
$34.99
Die Schweibarkeit weicher Kunststoff-Schaumstoffe
$54.99
Introduction to Scientific Publishing
$39.99
Twenty-Five Years of Logical Methodology in Poland
$74.99
Systems Approaches to Making Change: A Practical Guide
$79.99
Thiophenes
$229.00
Discrete and Topological Models in Molecular Biology
$84.99
Search for the Decay K_L ^0\nu\bar{\nu} at the J-PARC KOTO Experiment
$109.99
Retail Branding and Store Loyalty
$54.99
