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
Mechanical Characterization Using Digital Image Correlation
$99.99
Researching Practitioner Inquiry as Professional Development
$109.99
Systems Theory and Practice in the Knowledge Age
$169.99
Elitenvertrauen und Demokratie
$59.99
Astronomische Navigation
$79.99
Pro .NET 1.1 Remoting, Reflection, and Threading
$54.99
Computational Processing of the Portuguese Language
$39.99
Extragalactic Radio Sources
$39.99
Peace as Governance
$54.99
Gesetze und sonstige Bestimmungen betreffend die Gewerbesteuer in Preuen mit gewerbepolizeilichen V
$59.99
4-Digit Addition Grade 4 Differentiation Pack
$5.99
Canadian Semantic Web
$169.99
Ageing with Dignity in Hong Kong and Asia
$84.99
A Hundred Years of English Philosophy
$169.99
Wie werde ich eine DIVA?
$37.99
Die spinale Kinderlhmung
$69.99
The Last Present
$6.74
Casi un narval
$4.49
Aspects of Differential Geometry IV
$64.99
Metastatic Bone Disease
$54.99
The Role of Franchising on Industry Evolution
$129.99
A Minicourse on Stochastic Partial Differential Equations
$44.99
Knowledge and Power in the Philosophies of amd al-Dn Kirmn and Mull adr Shrz
$109.99
Hierarchische Mittelwert- und Kovarianzstrukturmodelle mit nichtmetrischen endogenen Variablen
$64.99
East European Transition and EU Enlargement
$109.99
Understanding China's Manufacturing Industry
$109.99
CIM-Aus- und Weiterbildung: Entwicklung eines CIM-Lehr- und Lernsystems
$59.99
Physical Metallurgy and Heat Treatment of Steel
$54.99
Research Topics in Analysis, Volume II
$89.99
Wettbewerbsvorteile durch Integration in Produktionsunternehmen
$59.99
Nuclear Reprogramming
$84.99
Constraint Solving and Language Processing
$49.99
Contemporary Populists in Power
$129.99
Re-envisioning Higher Educations Public Mission
$129.99
Transformation Thermotics and Extended Theories
$59.99
Balancing Renewable Electricity
$109.99
Households, Work and Economic Change: A Comparative Institutional Perspective
$109.99
Etale Cohomology and the Weil Conjecture
$129.99
Tagungsband des 2. Kongresses Montage Handhabung Industrieroboter
$129.99
Fractional Fields and Applications
$34.99
