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
Principles of Immunopharmacology
$84.99
Gold, Finance and Imperialism in South Africa, 18871902
$129.99
Rechtfertigung strategischer Managemententscheidungen
$69.99
Personalmanagement
$19.99
Literature, Identity and the English Channel
$109.99
Computer Simulations of Space Societies
$129.99
Methodology, Epistemology, and Philosophy of Science
$219.99
Bewertung von Coachingprozessen
$39.99
Evidence-Based Endocrine Surgery
$79.99
Aiding Decisions with Multiple Criteria
$169.00
Regional Identity and Behavior
$84.99
Bayesian Statistical Modeling with Stan, R, and Python
$159.99
Bio-psycho-soziale Grundlagen fr die Medizin
$84.99
Managing Cancer during Pregnancy
$69.99
Queer Post-Gender Ethics
$139.99
Durchgngige Programmierung von Fertigungszellen
$59.99
An Introduction to Analytical Fuzzy Plane Geometry
$84.99
Beitrge zur Frage Nach der Beziehung Zwischen Klinischem Verlauf und Anatomischem Befund bei Nerven
$59.99
Max Weber und die Vermessung der Medienwelt
$84.99
Mechanical Ventilation and Weaning
$39.99
Molecular Genetics of Host-Specific Toxins in Plant Disease
$219.99
Power Switching Components
$109.99
Wechselkursnderung als Bilanzierungsproblem
$44.99
The Brazilian Economy Today
$109.99
Immunopharmacogenomics
$109.99
Welcome Books-American Symbols: The American Flag
$3.71
Functional Analysis in Mechanics
$74.99
Interpolation Functors and Duality
$29.99
Production Planning with Capacitated Resources and Congestion
$109.99
Microfluidics and BioMEMS Applications
$169.99
Chemical-Mechanical Planarization of Semiconductor Materials
$219.99
Community College Students in Hong Kong
$169.99
Helicene Chemistry
$129.99
Research in Computational Molecular Biology
$54.99
Max Bense: Philosophie der Mathematik, Naturwissenschaft und Technik
$59.99
Heat Pumps for Sustainable Heating and Cooling
$139.99
I Know an Old Lady Who Swallowed a Dreidel (Hardcover)
$13.49
Technology and Creativity
$169.99
A Beautiful Pageant
$54.99
The Wonderful Wizard of Oz
$5.96
