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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Da: Books Puddle, Woodside, NY, U.S.A.
Condizione: Used. pp. 176. Codice articolo 263157056
Quantità: 1 disponibili
Da: Basi6 International, Irving, TX, U.S.A.
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-59974
Quantità: 1 disponibili
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABBB-256266
Quantità: 1 disponibili
Da: Majestic Books, Hounslow, Regno Unito
Condizione: Used. pp. 176. Codice articolo 4690847
Quantità: 1 disponibili
Da: Biblios, Frankfurt am main, HESSE, Germania
Condizione: Used. pp. 176. Codice articolo 183157066
Quantità: 1 disponibili
Da: Librería Oeste, MADRID, M, Spagna
Condizione: 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 . Codice articolo 000000123974
Quantità: 1 disponibili