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
Quality Assurance and Tolerance
$84.99
Wrterbuch der Kraftbertragungselemente / Diccionario de elementos de transmisin / Glossaire dOrg
$44.99
In(-)Kongruenz leben
$64.99
Sparsame, sachgeme Krankenbehandlung
$59.99
Web Information Systems Engineering WISE 2007
$84.99
What Does it Mean to be an Empiricist?
$139.99
Innovation, Kooperation und Erfolg junger Technologieunternehmungen
$69.95
Reviews of Plasma Physics
$169.99
The International System between New Integration and Neo-Protectionism
$109.99
Rocas Alijos
$329.99
Der Einfluss unbewusster Motive auf den Entscheidungsprozess
$49.99
Intracellular Mechanisms for Neuritogenesis
$169.99
Kpfe jagen
$74.99
Periphere Leitungsbahnen II Haut und Sinnesorgane Vegetatives Nervensystem
$44.99
Advanced Forecasting with Python
$54.99
Blicke auf Schnheit und Alter
$44.99
Faith, Gender, and Activism in the Punjab Conflict
$29.99
Das radikale Milieu
$59.99
Plant Tissue Culture Engineering
$219.99
Krank, was tun?
$24.99
Untersuchungen ber den Schlafverlauf bei Gesunden und bei psychisch Kranken
$59.99
Kategorien der Lebensgeschichte
$54.99
Pathology of the Stomach and Duodenum
$39.99
Engineering Applications of Computational Fluid Dynamics
$84.99
Reporting on Income Distribution and Poverty
$109.99
Sealing of Boreholes and Underground Excavations in Rock
$169.00
Pattern Recognition
$139.99
Encyclopaedia of Historical Metrology, Weights, and Measures
$179.99
The Construction of Spin Eigenfunctions
$109.99
Reform, Transformation and Growth
$139.99
Kent State (Hardcover)
$14.99
Analyzing Political Communication with Digital Trace Data
$54.99
Kommentar zum Mietrecht
$79.99
Squeezed and Nonclassical Light
$39.99
Bright Star: An Acorn Book (The Adventure Friends #3)
$4.49
Topological Aspects of Nonsmooth Optimization
$109.99
Men in Early Childhood Education and Care
$39.99
Geistiges Eigentum: Schutzrecht oder Ausbeutungstitel?
$99.99
Diagnosekodierung in der Praxis
$64.99
Immunology of Rheumatic Diseases
$84.99
