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
Astronomische Erdkunde
$49.99
Kapitaleinknfte und Spekulationsgeschfte
$59.99
Digitale Bildverarbeitung
$89.99
Medicinal and Aromatic Plants XI
$329.99
Medical Informatics Europe 90
$54.99
A History of Color
$89.00
CAD Data Transfer for Solid Models
$109.99
Integrated Approaches to STEM Education
$179.99
Weiterbildung fr Ansthesisten 2000
$74.99
Soziale Arbeit und Antiziganismus
$54.99
Medienbildung zwischen Subjektivitt und Kollektivitt
$64.99
Exosomes Based Drug Delivery Strategies for Brain Disorders
$189.00
Selbstzahlerleistungen in der Dermatologie und der sthetischen Medizin
$44.99
Coordinates on a Grid Grade 4 Differentiation Pack
$5.99
A Step-by-Step Guide to Conducting an Integrative Review
$49.99
Agricultural Implications of the Fukushima Nuclear Accident (III)
$59.99
Critical Infrastructure Protection Research
$109.99
Residual Stress and Stress Relaxation
$219.99
Positive Systems
$84.99
Sortimentsplanungsmodelle in filialisierten Handelsunternehmungen
$49.99
Textbook of Plastic and Reconstructive Surgery
$89.00
Kanon Macht Kultur
$119.99
Handbuch Industrie 4.0 Bd.3
$129.00
Scholastic Reader! Level 1-I Spy: I Spy An Apple
$2.99
The Organizational Form of Family Business
$169.99
Life Sciences Industry
$169.00
Die Bilanzierung unsicherer steuerlicher Positionen
$89.99
Foliated Bundles and Characteristic Classes
$39.99
Multiskalenmodellierung der Progression von Glioblastomen
$59.99
Modellbasiertes Prototyping
$34.99
The Renin Angiotensin System in Cardiovascular Disease
$169.99
Security and Privacy in Communication Networks
$99.99
Magnetofluiddynamics in Channels and Containers
$169.99
India and the Knowledge Economy
$109.99
Optische Sensorik zur Bahnfhrung von Industrierobotern mit hohen Bahngeschwindigkeiten
$59.99
Groups - Canberra 1989
$29.99
Mycorrhizae: Sustainable Agriculture and Forestry
$249.99
Ordered Groups and Infinite Permutation Groups
$54.99
Algebras and Representation Theory
$29.99
Dating Torrential Processes on Fans and Cones
$169.99
