Symbolic Analysis
판매자::
₩120,790
재고 있음
+ ₩51,399 배송
14일 반품 정책
결제 방법:
제품 상세 정보
제품 상세 정보
Symbolic Analysis
Static Program Analysis Aims To Determine The Dynamic Behavior Of Programs Without Actually Executing Them. Symbolic Analysis Is An Advanced Static Program Analysis Technique That Has Been Successfully Applied To Memory Leak Detection, Compilation Of Parallel Programs, Detection Of Superfluous Bound Checks, Variable Aliases And Task Deadlocks, And To Worst-case Execution Time Analysis. The Symbolic Analysis Information Is Invaluable For Optimizing Compilers, Code Generators, Program Verification, Testing And Debugging.
- 브랜드: KS OmniScriptum Publishing
- 카테고리: Computing & Internet
-
출판사/레이블: KS OmniScriptum Publishing
-
페이지 수: 168
-
형식: Paperback
-
언어: English
-
출판일: 2008-04-03
-
저자: Bernd Burgstaller
- Fruugo ID: 557282296-1125552217
- ISBN: 9783836481427
배송
배달
24시간 이내에 발송됨
-
STANDARD: ₩51,399 - 배달 사이 화 10 11월 2026–화 08 12월 2026
영국에서 발송.
반품
보고
당사는 귀하께서 주문하신 제품이 주문 명세에 따라 빠짐없이 배송되도록 온 힘을 기울이고 있습니다. 다만, 주문하신 것과 다른 상품이 배송되거나 빠진 상품이 있는 경우, 또는 주문 내용에 만족할 수 없는 다른 이유가 있는 경우에는 주문 전체나 주문에 포함된 일부 제품을 반품하시고 해당 상품에 대해 전액 환불받으실 수 있습니다.