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
Free delivery for purchases over 69.99 €
DPD courier 4.49 € DPD point 3.99 € GLS courier 5.49 € GLS point 4.49 € Croatian Post 5.49 € Overseas courier 5.49 € Box Now 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro

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 118 b
48.53 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Liz and the Blue Bird / Video Blu-ray
common.buy 19.39 €
Vysoké Tatry - preukaz na pečiatky (zelená obálka) autorov Kolektív / Book Paperback
common.buy 5.22 €
La bancale Henri Bachelin / Book Paperback
common.buy 10.84 €
90 épaves à Marseille et dans sa région - 2ème édition Joncheray / Book Paperback
common.buy 34.46 €
Nta UGC (Net/Jrf/Set) Shiksha Sastra Paper II Arihant Experts / Book Paperback
common.buy 106.21 €
Las grandes religiones para Dummies Paula González Fernández / Book Paperback
common.buy 19.69 €
Elasticidade - Conceitos Gerais Leandro Bertoldo / Book Paperback
common.buy 12.35 €
Picadores Andres Reyes Soto / Book Paperback
common.buy 17.38 €
Was ist Wahrnehmung? Axel Ziemke / Book Paperback
common.buy 90.03 €
Maid-sama. Bd.8 Hiro Fujiwara / Book Paperback
common.buy 7.83 €
Pugatschow-Aufstand 1773-1775 - Beteiligte und Motive Eike-Christian Kersten / Book Paperback
common.buy 16.07 €
Hyperion -- Terra Incognita Hansjörg Bay / Book Paperback
common.buy 57.47 €
Immer eine Handbreit Wasser unter dem Kiel Reinhard Kluge / Book Paperback
common.buy 12.05 €
La India Mircea Eliade / Book Paperback
common.buy 22.60 €
SPA-COMEDIAS COTEJADAS CON LAS Pedro 1600-1681 Calderon De La Barca / Book Paperback
common.buy 33.25 €
ALFONSO MARÍA DE LIGORIO Roberto Heraldo Bernet / Book Paperback
common.buy 15.06 €
Aufbau und Bedeutung organisatorischer Strukturen in der Eventbranche. Eine kritische Betrachtung Anonym / Book Paperback
common.buy 14.36 €
peinture, poeme en trois chants Le Mierre-A / Book Paperback
common.buy 16.87 €

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 132.14 €
GAG: A Practical Compiler Generator U. Kastens / Book Paperback
common.buy 19.59 €
Compiler Construction Shriram Krishnamurthi / Book Paperback
common.buy 48.53 €
Coming soon
CIM Revision Cards: Delivering Customer Value Ray Donnelly / Book Hardback
common.buy 276.14 €
Wolverine Omnibus Vol. 2 Walt Simonson / Book Hardback
common.buy 114.45 €
Female Electrocardiogram Pentti M. Rautaharju / Book Paperback
common.buy 104.00 €
Weather Almanac 2022 Storm Dunlop / Book Hardback
common.buy 14.06 €
Shorter Oxford Textbook of Psychiatry Paul Harrison / Book Paperback
common.buy 126.91 €
Top Coming soon
V for Vendetta Alan Moore / Book Paperback
common.buy 17.07 €
The Kiwi Conspiracy Chris A Hale / Book Paperback
common.buy 11.35 €
Seven Degrees Bryan P T Riley / Book Paperback
common.buy 11.35 €
The Bergdahl Exchange: Implications for U.S. National Security and the Fight Against Terrorism Nonproliferat Subcommittee on Terrorism / Book Paperback
common.buy 16.87 €
Myths and Legends of the Sioux Marie L McLaughlin / Book Paperback
common.buy 6.72 €
APPLYING UML & PATTERNS 3RD EDITION CRAIG LARMAN / Book Paperback
common.buy 42.50 €
Top
Saga of Tanya the Evil, Vol. 11 (manga) Emily Balistrieri / Book Paperback
common.buy 10.84 €
Selections from the Poetical Works of Algernon Charles Swinburne Algernon C. Swinburne / Book Paperback
common.buy 18.38 €
Good Night Astronauts Adam Gamble / Book Board book
common.buy 8.53 €
English Mystics Geraldine E. Hodgson / Book Paperback
common.buy 36.17 €
Best Recipes From The Siege of Paris 1870 Keith Pepperell / Book Paperback
common.buy 6.82 €
Russian Simple Language Learning / Book Paperback
common.buy 13.05 €
Rhodes in the Hellenistic Age Richard M. Berthold / Book Hardback
common.buy 69.63 €
Compiler Technology Derek Beng Kee Kiong / Book Hardback
common.buy 171.03 €
Build Your Own .NET Language and Compiler Edward G. Nilges / Book Paperback
common.buy 46.12 €
Diaspora Engagement at a Time of Crisis S Irudaya Rajan / Book Hardback
common.buy 249.51 €

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?