로그인회원가입장바구니고객센터마이페이지회사소개
kangcom
전체
Home >   >   > 

Modular Compiler Verification

   
지은이 Markus Muller-Olm   |   출판사 Springer  |   발행일 2001년 01월 01일   |   언어 : English
 
클릭하시면 큰 도서이미지를 보실 수 있습니다.
판매가 125,990원110,870원 12%
마일리지 1% 1,260원
발행일 2001-01-01 | 중량: 0.39 kg | 사이즈: 15.6*23.4*1.5 cm
ISBN 3540634061 |  9783540634065
기타정보 원서 | 250쪽 | $ 89.99 | Paperback
예상입고일 7~12일 소요예정 (근무일기준)
배송비 무료배송
    정가, 판매가는 항공 운임료 포함
컴파일러
   
주의사항
  • - 현지사정에 의해 지연, 품절 될 수 있습니다.
  • - 해외주문원서는 취소 및 반품이 불가능합니다.(단, 파본이나 오발송은 제외 입니다.)
  • - 수입절차/입고소요기간 자세히
  •  



    This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general.
    준비 중입니다.
    준비 중입니다.
    등록된 서평이 없습니다.
     
    전체평균(0)
    회원평점   회원서평수 0
    Markus Muller-Olm 의 최근 저서
     
    Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
    81,330원
    (17%↓+1%)
     
    Variations on Constants: Flow Analysis of Sequential and Parallel Programs
    110,870원
    (12%↓+1%)
     
    Springer 출판사의 신간
    Yanzhuang Meteorite: Mineralogy and Shock Metamorphism
    Ming Chen 저
    197,110원
    (12%↓+1%)
     
    Handbook of African Philosophy of Difference: The Othering of the Other
    Elvis Imafidon 저
    431,190원
    (12%↓+1%)
     
    Battery Management Algorithm for Electric Vehicles
    Rui Xiong 저
    197,110원
    (12%↓+1%)
     
    Quantitative Stochastic Homogenization and Large-Scale Regularity
    Scott Armstrong 저
    123,190원
    (12%↓+1%)
     
    Bio-Resource Utilization and Bioprocess
    Sadhan Kumar Ghosh 저
    184,790원
    (12%↓+1%)
     
    이메일주소수집거부