Order Total (1 Item Items):
Shipping Destination:
Modular Compiler Verification Refinement Algebraic by Müller Olm Markus (6 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (6)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (6)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (6)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (2)
- Not Print on Demand (6)
Language (1)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50 (No further results match this refinement)
- Over US$ 50
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
-
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science, 1283)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 65.89
US$ 15.60 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
paperback. Condition: New. In shrink wrap. Looks like an interesting title!
-
Modular Compiler Verification : A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Published by Springer Berlin Heidelberg, 1997
ISBN 10: 3540634061 ISBN 13: 9783540634065
Language: English
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Modular Compiler Verification | A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Published by Springer-Verlag GmbH, 1997
ISBN 10: 3540634061 ISBN 13: 9783540634065
Language: English
Taschenbuch. Condition: Neu. Modular Compiler Verification | A Refinement-Algebraic Approach Advocating Stepwise Abstraction | Markus Müller-Olm | Taschenbuch | xvi | Englisch | 1997 | Springer-Verlag GmbH | EAN 9783540634065 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
