Code: 01566446

Modular Compiler Verification

Name: Modular Compiler Verification
Brand: Springer, Berlin
SKU: 01566446
Price: 51.65 EUR
Availability: InStock
Author: Markus Müller-Olms
ISBN: 9783540634065

by Markus Müller-Olms

Language: English
Binding: Paperback
Number of pages: 260
Publisher: Springer, Berlin, 1997
More about this

51.65 €

RRP: 55.93 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

V for Vendetta
17.78 € -29 %
Buy
Saga of Tanya the Evil, Vol. 11 (manga)
10.91 € -22 %
Buy
I GAVE YOU EYES & YOU LOOKED TOWARD DARK
8.28 € -51 %
Buy
Shorter Oxford Textbook of Psychiatry
133.23 €
Buy
Mythic World
11.31 € -25 %
Buy
Gustav KLIMT Colouring Book
7.17 € -24 %
Buy
Wolverine Omnibus Vol. 2
123.33 € -25 %
Buy
Estrogeneration
49.02 € -9 %
Buy
APPLYING UML & PATTERNS 3RD EDITION
44.07 €
Buy
La utz awach?
41.74 € -4 %
Buy
Guide to the best wines of the Czech Republic 2015-2016
8.58 € -16 %
Buy
GAG: A Practical Compiler Generator
20.82 € -7 %
Buy
Modern Compiler Design
128.68 €
Buy
Diaspora Engagement at a Time of Crisis
233.42 €
Buy
Integrated planning and operation of plating process chains
33.76 €
Buy
Kohei Uchimura
21.73 € -9 %
Buy
La India
24.05 €
Buy
Las grandes religiones para Dummies
21.02 €
Buy
Vysoké Tatry - preukaz na pečiatky (zelená obálka)
4.54 € -24 %
Buy
Female Electrocardiogram
110.69 € -9 %
Buy
Aufbau und Bedeutung organisatorischer Strukturen in der Eventbranche. Eine kritische Betrachtung
14.45 € -10 %
Buy
Was ist Wahrnehmung?
95.42 €
Buy
Cell and Molecular Biology of Endometrial Carcinoma
154.26 € -7 %
Buy
Weather Almanac 2022
13.74 € -22 %
Buy
Good Night Astronauts
7.88 € -24 %
Buy
Compiler Technology
167.60 €
Buy
Selections from the Poetical Works of Algernon Charles Swinburne
19.70 € -14 %
Buy
Employee Status and Payroll Change Report Book
10.60 € -25 %
Buy
Best Recipes From The Siege of Paris 1870
6.36 € -7 %
Buy
Build Your Own .NET Language and Compiler
42.35 € -24 %
Buy
English Mystics
33.65 € -2 %
Buy
Picadores
18.39 €
Buy
Seven Degrees
10.60 € -7 %
Buy
Migration in the New Europe
53.27 € -4 %
Buy
Compiler Construction
51.65 € -7 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 125 loyalty points

Book synopsis

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.