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

The Austin Protocol Compiler

   
지은이 Mohamed G. Gouda   |   출판사 Springer Science+Business Media  |   발행일 2005년 02월 14일   |   언어 : English
 
클릭하시면 큰 도서이미지를 보실 수 있습니다.
판매가 236,600원196,400원 17%
마일리지 1% 2,370원
발행일 2005-02-14 | 중량: 0.39 kg | 사이즈: 16.6*24.5*1.4 cm
ISBN 0387232273 | 9780387232270
기타정보 원서 | 142쪽 | $ 169 | Hardcover
예상입고일 10~15일 소요예정 (근무일기준)
배송비 무료배송
    정가, 판매가는 항공 운임료 포함
컴파일러
   
주의사항
  • - 현지사정에 의해 지연, 품절 될 수 있습니다.
  • - 해외주문원서는 취소 및 반품이 불가능합니다.(단, 파본이나 오발송은 제외 입니다.)
  • - 수입절차/입고소요기간 자세히
  •  



    The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a concrete semantics for protocol implementers. The Austin Protocol Compiler illustrates that two types of semantics of TAP are equivalent. Thus, the correctness of TAP specification of some protocol, that is established based on the abstract semantics of TAP, is maintained when this specification is implemented based on concrete semantics of TAP. The equivalence suggests the following for developing a correct implementation of a protocol:

    1. Specify the protocol using the TAP notation.

    2. Verify the correctness of the specification based on the abstract semantics of TAP.

    3. Implement the specification based on the concrete semantics of TAP.

    For step 3, this book introduces the Austin Protocol Compiler (APC) that takes as input, a TAP specification of some protocol, and produces as output C-code that implements this protocol based on the concrete semantics of TAP.

    준비 중입니다.
    준비 중입니다.
    등록된 서평이 없습니다.
     
    전체평균(0)
    회원평점   회원서평수 0
    Mohamed G. Gouda 의 최근 저서
     
    The Austin Protocol Compiler
    184,500원
    (22%↓+1%)
     
    Hop Integrity in the Internet
    151,800원
    (22%↓+1%)
     
    Tommy M. McGuire 의 최근 저서
     
    The Austin Protocol Compiler
    184,500원
    (22%↓+1%)
     
    Mohamed G. Gouda 의 최근 저서
     
    Hop Integrity in the Internet
    151,800원
    (22%↓+1%)
     
    Elements of Network Protocol Design
    206,800원
    (25%↓+1%)
     
    Springer Science+Business Media 출판사의 신간
    Ramps
    William S. Spielman 저
    219,600원
    (17%↓+1%)
     
    Stem Cell Transplantation
    Carlos L. Pez-Larrea 저
    301,000원
    (17%↓+1%)
     
    Mast Cell Biology: Contemporary and Emerging Topics
    Alasdair M. Gilfillan 저
    335,800원
    (17%↓+1%)
     
    Cysteine Proteases of Pathogenic Organisms
    John P. Dalton 저
    301,000원
    (17%↓+1%)
     
    Epigenetic Contributions in Autoimmune Disease
    Esteban Ballestar 저
    301,000원
    (17%↓+1%)
     
    이메일주소수집거부