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
Lectures on Hermitian-Einstein Metrics for Stable Bundles and Khler-Einstein Metrics
$99.99
Algebraic Approaches to Program Semantics
$79.99
Creativity and Education
$89.00
The Heroes of Olympus: The Lost Hero
$9.71
Face-to-Interface
$59.99
Die Sptbronzezeitliche Keramik der Schweiz und Ihre Chronologie
$49.95
Multimodal Composing in K-16 ESL and EFL Education
$129.00
Foucault and the Modern International
$19.99
Multikanalsysteme in der Automobildistribution
$69.99
Wozu politische Theorie?
$54.99
Contamination Control and Cleanrooms
$84.99
Entwicklungsmethoden und Architekturkonzepte fr Web-Applikationen
$59.99
Spark, Shine, Glow!
$6.71
Rock and Roll Fantasy?
$49.95
Networks and Communications (NetCom2013)
$169.00
Republican Principles in International Law
$109.99
An Economic Analysis of Intellectual Property Rights Infringement
$44.99
Sprachwissenschaft
$29.99
Meteorologie
$69.99
Coded-Modulation Techniques for Fading Channels
$169.00
Deep Learning Techniques for Music Generation
$119.00
Probability Matching Priors: Higher Order Asymptotics
$54.99
Mentoring for Learning
$49.99
Molecular Diagnostics in Cancer Patients
$84.99
Blutgerinnungsstrungen
$59.99
Metaphysische Probleme der Medizin
$59.99
Der Prozess als Rechtslage
$44.99
Integrable Quantum Field Theories
$39.99
Collapsing Structures and Public Mismanagement
$99.99
Islam in German East Africa, 18851918
$139.99
Group Symmetries in Nuclear Structure
$54.99
Politics and Religion in Modern Japan
$109.99
Intrusion Detection effektiv!
$39.99
Endotherapy in Biliopancreatic Diseases: ERCP Meets EUS
$89.00
Security and Fault Tolerance in Internet of Things
$129.99
Prolactin Disorders
$109.99
Linear Algebra with Applications to Economics
$54.99
Advances in Solid and Hazardous Waste Management
$169.99
Innovations and Technologies in Construction
$279.99
Activation of Saturated Hydrocarbons by Transition Metal Complexes
$169.99
