Items related to High Integrity Compilation: A Case Study
Synopsis
Illustrating a route for mathematically specifying and rigorously implementing a high assurance compiler suitable for use in developing high integrity applications, this book explains the various techniques used at each stage of the development, and is illustrated throughout by a compiler for a small imperative language, targeting a typical instruction set.
"synopsis" may belong to another edition of this title.
Search results for High Integrity Compilation: A Case Study
Stock Image
High Integrity Compilation: A Case Study
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-59974
Stock Image
High Integrity Compilation
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. pp. 176. Seller Inventory # 263157056
Stock Image
High Integrity Compilation
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: Used. pp. 176. Seller Inventory # 4690847
Buy Used
£ 31.72
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
High Integrity Compilation
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: Used. pp. 176. Seller Inventory # 183157066
Seller Image
High Integrity Compilation: A Case Study
Published by
Prentice-Hall, Hemel Hempstead, 1993
ISBN 10: 0133810399
ISBN 13: 9780133810394
Used
Softcover
Seller: Librería Oeste, MADRID, M, Spain
Seller rating 5 out of 5 stars
Condition: Muy Bueno. 196. Prentice-Hall, Hemel Hempstead, 1993, 196pp, Tapa blanda. SELLO Y FIRMA EN PRIMERA PÁGINA. ALGUNAS PÁGINAS SUBRAYADAS A LÁPIZ . Seller Inventory # 000000123974