登入選單
返回Google圖書搜尋
High Integrity Compilation
Susan Stepney
其他書名
A Case Study
出版Prentice Hall, 1993
主題Computers / Programming / Compilers
ISBN01338103999780133810394
URLhttp://books.google.com.hk/books?id=2XchAQAAIAAJ&hl=&source=gbs_api
註釋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.