Articles liés à 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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour High Integrity Compilation: A Case Study
Image d'archives
High Integrity Compilation
Edité par
Prentice-Hall, 1993
ISBN 10 : 0133810399
ISBN 13 : 9780133810394
Ancien ou d'occasion
Couverture souple
Vendeur : Books Puddle, Woodside, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. 176. N° de réf. du vendeur 263157056
Acheter D'occasion
EUR 42,16
Expédition à EUR 3,52
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
High Integrity Compilation: A Case Study
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur ABBB-256266
Acheter neuf
EUR 46,28
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
High Integrity Compilation: A Case Study
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-59974
Acheter neuf
EUR 46,28
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
High Integrity Compilation
Edité par
Prentice-Hall, 1993
ISBN 10 : 0133810399
ISBN 13 : 9780133810394
Ancien ou d'occasion
Couverture souple
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. 176. N° de réf. du vendeur 4690847
Acheter D'occasion
EUR 39,02
Expédition à EUR 7,58
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
High Integrity Compilation
Edité par
Prentice-Hall, 1993
ISBN 10 : 0133810399
ISBN 13 : 9780133810394
Ancien ou d'occasion
Couverture souple
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. 176. N° de réf. du vendeur 183157066
Acheter D'occasion
EUR 39,34
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
High Integrity Compilation: A Case Study
Edité par
Prentice-Hall, Hemel Hempstead, 1993
ISBN 10 : 0133810399
ISBN 13 : 9780133810394
Ancien ou d'occasion
Couverture souple
Vendeur : Librería Oeste, MADRID, M, Espagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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 réf. du vendeur 000000123974
Acheter D'occasion
EUR 30
Expédition à EUR 24,50
Expédition depuis Espagne vers Etats-Unis
Expédition depuis Espagne vers Etats-Unis
Quantité disponible : 1 disponible(s)