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
Coping with Interference in Wireless Networks
$84.99
Der Versicherungsverkufer
$59.99
Workshops on Business Informatics Research
$69.99
Michael Faraday: Sandemanian and Scientist
$59.99
Functional Genomics
$129.00
The Cellular Automaton Interpretation of Quantum Mechanics
$59.99
Handbook of Innovative Career Counselling
$169.99
The Sputniks Crisis and Early United States Space Policy
$39.99
Analysis and Algebra on Differentiable Manifolds: A Workbook for Students and Teachers
$64.99
Ergebnisse der Biologie / Advances in Biology
$64.99
Salvation from Despair
$84.99
Macrophages and Related Cells
$219.99
Die Lungenfunktion unter besonderer Bercksichtigung des wachsenden Organismus
$54.99
Positive Psychologie: Digitale Vermittlung von Handlungskompetenzen und Mentaler Strke
$59.99
Diophantine Equations and Power Integral Bases
$64.99
Overcoming Polarization in the Public Square
$99.99
Gender and Family in Japan
$119.99
The Indian Textile and Clothing Industry
$39.99
The Greening of the Automotive Industry
$39.99
Dangerous Multilingualism
$84.99
Heat Carriers in Liquids: An Introduction
$49.99
East Asian Cinema and Cultural Heritage
$109.99
Observing our Changing Earth
$219.99
Proceedings of Sixth International Conference on Soft Computing for Problem Solving
$129.00
On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
$39.99
Interfaith Education for All
$37.99
Micro-Electrode-Dot-Array Digital Microfluidic Biochips
$109.99
The Invisible Chain
$39.99
Open Source GIS
$74.99
Eco-Cognitive Computationalism
$109.99
Mobile, Secure, and Programmable Networking
$39.99
Spatial Modelling of Flood Risk and Flood Hazards
$199.99
Biogeochemistry of the Critical Zone
$169.99
Lineare und nichtlineare Anreizsysteme
$59.99
Einfhrung in die spanische Literaturwissenschaft
$19.99
Bayessche Netze in der Rechtsprechung
$39.99
Contemporary Yugoslav Philosophy: The Analytic Approach
$169.99
The Undergrounds of the Phantom of the Opera
$109.99
Advances in Inflammatory Bowel Diseases
$219.99
Sidekicks: A Graphic Novel (Sidekicks #1)
$11.24
