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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT25-59974
Cantidad disponible: 1 disponibles
Librería: Books Puddle, New York, NY, Estados Unidos de America
Condición: Used. pp. 176. Nº de ref. del artículo: 263157056
Cantidad disponible: 1 disponibles
Librería: Majestic Books, Hounslow, Reino Unido
Condición: Used. pp. 176. Nº de ref. del artículo: 4690847
Cantidad disponible: 1 disponibles
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Condición: Used. pp. 176. Nº de ref. del artículo: 183157066
Cantidad disponible: 1 disponibles
Librería: Librería Oeste, MADRID, M, España
Condición: 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 . Nº de ref. del artículo: 000000123974
Cantidad disponible: 1 disponibles