Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Language EnglishEnglish
Book Paperback
Book Modular Compiler Verification Markus Müller-Olms
Libristo code: 01566446
Publishers Springer, Berlin, November 1996
This book presents the verified design of a code generator translating a prototypic real-time progra... Full description
? points 125 b
51.09 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Liz and the Blue Bird / Video Blu-ray
common.buy 18.09 €
Vysoké Tatry - preukaz na pečiatky (zelená obálka) autorov Kolektív / Book Paperback
common.buy 4.39 €
SPA-COMEDIAS COTEJADAS CON LAS Pedro 1600-1681 Calderon De La Barca / Book Paperback
common.buy 33.69 €
Elasticidade - Conceitos Gerais Leandro Bertoldo / Book Paperback
common.buy 12.59 €
peinture, poeme en trois chants Le Mierre-A / Book Paperback
common.buy 13.89 €
Aufbau und Bedeutung organisatorischer Strukturen in der Eventbranche. Eine kritische Betrachtung Anonym / Book Paperback
common.buy 15.95 €
Las grandes religiones para Dummies Paula González Fernández / Book Paperback
common.buy 18.69 €
La India Mircea Eliade / Book Paperback
common.buy 21.39 €
Picadores Andres Reyes Soto / Book Paperback
common.buy 16.39 €
Was ist Wahrnehmung? Axel Ziemke / Book Paperback
common.buy 89.90 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Modular Compiler Verification
Author Markus Müller-Olms
Language English
Binding Book - Paperback
Date of issue 1997
Number of pages 260
EAN 9783540634065
ISBN 3540634061
Libristo code 01566446
Publishers Springer, Berlin
Weight 414
Dimensions 156 x 234 x 14

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Modern Compiler Design Dick Grune / Book Hardback
common.buy 115.29 €
GAG: A Practical Compiler Generator U. Kastens / Book Paperback
common.buy 20.59 €
Compiler Construction Shriram Krishnamurthi / Book Paperback
common.buy 51.09 €
Migration in the New Europe A. Gorny / Book Paperback
common.buy 52.69 €
Wolverine Omnibus Vol. 2 Walt Simonson / Book Hardback
common.buy 105.69 €
Weather Almanac 2022 Storm Dunlop / Book Hardback
common.buy 11.89 €
Top
V for Vendetta Alan Moore / Book Paperback
common.buy 17.89 €
Female Electrocardiogram Pentti M. Rautaharju / Book Paperback
common.buy 109.49 €
Estrogeneration Anthony G. Jay / Book Hardback
common.buy 33.29 €
Shorter Oxford Textbook of Psychiatry Paul Harrison / Book Paperback
common.buy 112.99 €
Seven Degrees Bryan P T Riley / Book Paperback
common.buy 11.59 €
Top
Saga of Tanya the Evil, Vol. 11 (manga) Emily Balistrieri / Book Paperback
common.buy 8.49 €
APPLYING UML & PATTERNS 3RD EDITION CRAIG LARMAN / Book Paperback
common.buy 43.59 €
English Mystics Geraldine E. Hodgson / Book Paperback
common.buy 36.69 €
Selections from the Poetical Works of Algernon Charles Swinburne Algernon C. Swinburne / Book Paperback
common.buy 19.49 €
Good Night Astronauts Adam Gamble / Book Board book
common.buy 6.69 €
Best Recipes From The Siege of Paris 1870 Keith Pepperell / Book Paperback
common.buy 6.99 €
Mythic World Kerby Rosanes / Book Paperback
common.buy 11.09 €
Compiler Technology Derek Beng Kee Kiong / Book Hardback
common.buy 150.19 €
Kohei Uchimura Dan N. Witt / Book Paperback
common.buy 19.09 €
Build Your Own .NET Language and Compiler Edward G. Nilges / Book Paperback
common.buy 36.29 €
Diaspora Engagement at a Time of Crisis S Irudaya Rajan / Book Hardback
common.buy 179.19 €
I GAVE YOU EYES & YOU LOOKED TOWARD DARK SOLA IRENE / Book Paperback
common.buy 13.19 €
Guide to the best wines of the Czech Republic 2015-2016 Ivo Dvořák / Book Paperback
common.buy 7.99 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?