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
Cyclic Polymers
$169.00
War, Religion and Court Patronage in Habsburg Austria
$54.99
Unternehmung und Steuer
$44.99
Spirit and Man
$109.99
The Development of the International Book Trade, 1870-1895
$54.99
The Kalm Cosmological Argument: A Reassessment
$119.99
Lehrbuch der Allgemeinen Metallkunde
$49.99
Interpolationsmethoden zur Behandlung von Approximationsprozessen auf Banachrumen
$29.95
The finite element method in the 1990s
$109.99
The Causes and Cures of Criminality
$109.99
Second Order PDE's in Finite and Infinite Dimension
$54.99
Diderot in Deutschland 1750-1850
$84.99
Data-driven Analytics for Sustainable Buildings and Cities
$189.00
Advanced Optical Imaging Theory
$219.99
Principles of Safety Pharmacology
$219.99
Aufstiegsdiskriminierung von Frauen durch Mitarbeiterbeurteilungen
$49.99
Biologische Erkenntnis
$69.95
Der Interviewer-Einflu in der Marktforschung
$59.99
Engineering Biomaterials for Neural Applications
$199.99
Angiofibel
$249.99
Topology of Singular Fibers of Differentiable Maps
$29.99
Die Entwicklung von Grundstzen ordnungsmiger Prognosebildung auf Basis der GoB
$59.99
Mathematische Physik: Klassische Mechanik
$44.99
Forensic Medicine and Human Cell Research
$139.99
Wings of Fire - The Graphic Novel: The Lost Heir (Hardcover)
$18.74
School-Based Interventions for Students with Behavior Problems
$129.99
Energy Dissipation in Molecular Systems
$109.99
The Knowledge Society
$169.99
Organisation der Plankostenrechnung
$49.99
Development and Applications of Negative Ion Sources
$119.00
Getting Started with Grafana
$59.99
Disaster Risk Reduction for Resilience
$129.00
Constructivity and Computability in Historical and Philosophical Perspective
$39.99
Annual Report on Chinas Economic Growth
$109.99
My Books Summer & Summer Express Workbook Grade 1 Fiction/Nonfiction 10-Book Bundle
$53.95
Methodische Probleme bei der Messung von Kriminalittsfurcht und Viktimisierungserfahrungen
$49.99
Brand Premium
$27.99
Remembering and Imagining Palestine
$39.99
Managing Relocation
$129.00
Economic Diplomacy
$59.99
