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
Carcinomas of the Head and Neck
$129.00
Gebudetechnik fr Trinkwasser
$79.99
Comprehensive Treatment of Knee Osteoarthritis
$99.00
Besucherforschung und Didaktik
$59.99
Whole-body MRI Screening
$109.99
Application of Big Data, Blockchain, and Internet of Things for Education Informatization
$99.99
Prozess zur Lsung komplexer Entscheidungsprobleme
$59.99
The Representation Theory of the Symmetric Groups
$24.99
Integrated Nanomaterials and their Applications
$139.00
Biomaterials for Tissue Regeneration
$39.99
Modern Approaches to Agent-based Complex Automated Negotiation
$84.99
Prepare Your Data for Tableau
$37.99
Critical Findings in Neuroradiology
$99.00
The Geopolitics of Renewables
$219.99
Methoden der Biographie- und Lebenslaufforschung
$49.99
Grundlagenuntersuchung ber das Taumelpressen
$74.99
Visual Quality Assessment for Natural and Medical Image
$109.99
Simulation von Rhrenverstrkern mit SPICE
$99.99
International Handbook on Child Rights and School Psychology
$219.00
Advances in Sustainable Construction Materials
$169.99
Adoption as a Lifelong Process
$49.99
I Spy: Veo Nmeros
$2.99
Blockchain Gaps
$49.99
Practical Subversion
$34.99
Guide to Signals and Patterns in Image Processing
$54.99
Value Based and Intelligent Asset Management
$109.99
Formation and Early Growth of Business Webs
$39.99
Pediatric Retinal Vascular Diseases
$119.99
Effiziente Softwareentwicklung mit DB2/MVS
$44.99
Unternehmensplanung im Mittelbetrieb
$59.99
Planning Demand-Driven Disassembly for Remanufacturing
$39.99
The New Bail-In Legislation
$69.99
Verhaltensorientierte Fhrung
$29.99
Cross-Cultural Adaptation Experiences of International Scholars in Shanghai
$84.99
Alternative Energy in the Middle East
$109.99
Start-up-Kooperationen
$17.99
The Surprising Power of a Good Dumpling
$8.24
Markensterben
$39.99
Personal- und Organisationsentwicklung bei der Internationalisierung von industriellen Dienstleistun
$109.00
Advances in Production Management Systems: Innovative and Knowledge-Based Production Management in a
$109.99
