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
Functional Imaging and Modeling of the Heart
$54.99
Top-down- und Bottom-up-Anstze im Innovationsmanagement
$69.99
Massenspektrometrie
$49.99
Analysis of the Gravity Field
$64.99
The Politics of Ethnic Separatism in Russia and Georgia
$39.99
Relational and Algebraic Methods in Computer Science
$79.99
Control of Complex Nonlinear Systems with Delay
$84.99
Schwankungserscheinungen in der Physik
$59.99
Mobile Brokerage
$64.99
The Palgrave Handbook of Race and Ethnic Inequalities in Education
$169.99
What is History Now?
$109.99
Prozessplanung in Akut-Krankenhusern
$49.99
Mechanik deformierbarer Krper
$69.99
Mechanics of Natural Solids
$129.00
Agronomic Crops
$219.99
Affect Theory, Genre, and the Example of Tragedy
$79.99
The Life of Rice
$6.71
Automated Mathematical Induction
$84.99
Introduction to Systems Analysis
$54.99
Wealth(s) and Subjective Well-Being
$119.00
Leveled Math Reader: Count Your Chickens!
$3.71
T. Rex Time Machine
$5.21
The Palgrave Handbook of Disability at Work
$149.00
Stock Market Modeling and Forecasting
$84.99
Mixed-Effects Regression Models in Linguistics
$109.00
Sustainability Trends and Challenges in Civil Engineering
$279.99
Brain Edema XI
$169.99
Erste Philosophie (1923/24) Erster Teil Kritische Ideengeschichte
$249.99
Primed for Success: The Story of Scientific Design Company
$129.99
A Beginners Guide to Microarrays
$109.99
Academic Theories of Generation in the Renaissance
$169.99
Assessing the Impacts of Climate Change on Natural Resource Systems
$169.99
New Formalist Criticism
$39.99
The Semantic Web ISWC 2016
$54.99
Broadband in Europe
$109.99
RNA Therapeutics
$89.00
Ophthalmic Medical Image Analysis
$99.99
The Development and Governance of Private Universities in China
$129.99
Exploring Contemporary Issues in Sexuality Education with Young People
$109.99
Quantitative Stochastic Homogenization and Large-Scale Regularity
$159.99
