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
Thomas Hardy, Metaphysics and Music
$54.99
Die stille Transformation
$34.99
Functional Equations Results and Advances
$109.99
The Ecosystem of the Foreign Language Learner
$54.99
Organ Transplantation in Times of Donor Shortage
$84.99
Die Elektrotechnik und die elektromotorischen Antriebe
$84.99
Asymptotische Stochastik: Eine Einfhrung mit Blick auf die Statistik
$34.99
Biogeochemical Processes of Biogenic Elements in China Marginal Seas
$219.00
Global Agendas and Education Reforms
$59.99
Biological and Medical Data Analysis
$54.99
Finanzielle Unternehmenspolitik bei Geldentwertung
$69.99
Evaluation of performance of selected tillage tines regarding quality of work
$54.99
From Protein Structure to Function with Bioinformatics
$109.00
From Molecules to Materials
$109.99
Logistik in der Automobilindustrie
$99.00
Sample Efficient Multiagent Learning in the Presence of Markovian Agents
$109.99
Insekten - Erfolgsmodelle der Evolution
$19.99
The Burnout Workbook: Advice and Exercises to Help You Unlock the Stress Cycle by Amelia Nagoski Dma
$18.00
Herpetologia aegaea
$59.99
Basic Cell Culture Protocols
$249.99
Modeling Complex Systems
$54.99
Nachhaltigkeit in der Entwicklungszusammenarbeit
$39.99
Growth in Open Economies
$54.99
Graham Greene: Political Writer
$54.99
Impacts of Emerging Economies and Firms on International Business
$109.99
Immunoendocrinology: Scientific and Clinical Aspects
$169.00
Handbook of Missing Persons
$129.00
Die Kapitalverflechtung der Montanindustrie in Nordrhein-Westfalen mit dem Ausland
$69.99
The Dawn Mission to Minor Planets 4 Vesta and 1 Ceres
$169.00
Interkontinentale Nachrichtenbertragung mittels moderner Tiefseekabel und Satellitenverbindungen
$54.99
bungen zur Nachrichtenbertragung
$39.99
Das Parteiensystem derBundesrepublik Deutschland
$39.99
Metaphysics and Philosophy of Science in the Seventeenth and Eighteenth Centuries
$219.99
Tools for High Performance Computing 2016
$109.99
Proceedings of the 1999 Academy of Marketing Science (AMS) Annual Conference
$169.99
Schiffahrt auf dem Zrichsee
$44.99
Laboratory Handbook for the Fractionation of Natural Extracts
$129.00
Psychomotorik
$59.99
Social Media fr Journalisten
$29.99
ffentliche Logistik
$49.99
