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
Bits of Table Talk on Pushkin, Mickiewicz Goethe, Turgenev and Sienkiewicz
$74.99
Communities of Hustling
$69.99
PAL Driven Organizational Learning: Theory and Practices
$79.99
Laparoscopic Urologic Oncology
$169.99
The Foreign Aid Regime
$54.99
Heil-Lasten
$99.99
Online Worlds: Convergence of the Real and the Virtual
$84.99
Context-Aware Ranking with Factorization Models
$84.99
Evidenzbasiertes Wildtiermanagement
$59.99
Entwurfstransaktionen fr modulare Objektsysteme
$69.99
Women and the Economy
$109.99
Advances in Production Management Systems. Towards Smart and Digital Manufacturing
$109.99
Current Research in Acupuncture
$169.00
Der Einflu der Fertigungsgenauigkeit und der Schmierfilmausbildung auf die Flankentragfhigkeit ung
$59.99
Handbuch der Schweitechnik
$84.99
Ecology of Central European Forests
$379.99
The Epstein-Barr Virus
$109.00
Flchten oder Bleiben?
$69.99
Visual Event Detection
$169.99
Mrkte explorieren
$17.99
Pathologie der degenerativen Wirbelsulenerkrankungen
$79.99
Whole Genome Amplification
$109.99
Mu Verpackung Abfall sein?
$69.99
Lasers in Cardiovascular Interventions
$84.99
Desingularization Strategies of Three-Dimensional Vector Fields
$29.99
Advanced Dairy Chemistry
$329.99
Progress in Diagnostics and Therapy of Prostatic Cancer
$109.99
Handbook of Burns Volume 1
$119.00
Favorite Sons
$54.99
Narrative and Technology Ethics
$99.00
Financial Instruments and Cash Waqf
$119.00
Progress in Immunology
$74.99
Technische Wrmelehre der Gase und Dmpfe
$79.99
Von der Systemabwehr zur Organisationsbewusstheit
$64.99
Friedrich Schlegel
$69.99
Weltweiter Energiebedarf und 2-Grad-Klimaziel
$59.99
Die Nachhaltigkeit von Entwicklungsprojekten
$44.99
Medical Writing and Research Methodology for the Orthopaedic Surgeon
$89.99
Refractions of Reality: Philosophy and the Moving Image
$39.99
Italian Fashion since 1945
$84.99
