Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Modular Compiler Verification

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

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Markus Müller-Olms

Language

English

Book Paperback

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

Libristo code: 01566446

136 b

20 515 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

90 épaves à Marseille et dans sa région - 2ème édition Joncheray

Paperback

13 583 Ft

Nta UGC (Net/Jrf/Set) Shiksha Sastra Paper II Arihant Experts

Paperback

43 932 Ft

Immer eine Handbreit Wasser unter dem Kiel Reinhard Kluge

Paperback

4 731 Ft

Was ist Wahrnehmung? Axel Ziemke

Paperback

34 884 Ft

Vysoké Tatry - preukaz na pečiatky (zelená obálka) autorov Kolektív

Paperback

1 796 Ft

La bancale Henri Bachelin

Paperback

4 274 Ft

Elasticidade - Conceitos Gerais Leandro Bertoldo

Paperback

4 802 Ft

La India Mircea Eliade

Paperback

8 795 Ft

peinture, poeme en trois chants Le Mierre-A

Paperback

6 513 Ft

Pugatschow-Aufstand 1773-1775 - Beteiligte und Motive Eike-Christian Kersten

Paperback

6 465 Ft

Aufbau und Bedeutung organisatorischer Strukturen in der Eventbranche. Eine kritische Betrachtung Anonym

Paperback

5 770 Ft

Hyperion -- Terra Incognita Hansjörg Bay

Paperback

22 993 Ft

Picadores Andres Reyes Soto

Paperback

6 437 Ft

Las grandes religiones para Dummies Paula González Fernández

Paperback

7 675 Ft

ALFONSO MARÍA DE LIGORIO Roberto Heraldo Bernet

Paperback

5 922 Ft

SPA-COMEDIAS COTEJADAS CON LAS Pedro 1600-1681 Calderon De La Barca

Paperback

12 826 Ft

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.