High Integrity Compilation: A Case Study - Softcover

Stepney, Susan

 
9780133810394: High Integrity Compilation: A Case Study
Softcover
ISBN 10: 0133810399 ISBN 13: 9780133810394
Verlag: Prentice-Hall, 1993

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Prentice-Hall
Erscheinungsdatum
1993
Sprache
Englisch
ISBN 10 
0133810399
ISBN 13 
9780133810394
Einband
Taschenbuch
Anzahl der Seiten
200
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Yeepin GmbH
492000000000
sunshine12232@outlook.com

Alleestr.11
Kaiserslautern
Rheinland-Pfalz
67655
Deutschland