Symbolic Analysis

CN¥599.00
+ CN¥149.49 Shipping

Symbolic Analysis

Sold by:
  • product image
Symbolic Analysis

CN¥599.00

In stock
+ CN¥149.49 Shipping

14-Day Returns Policy

Payment methods:

Product details

Product details

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.
  • Fruugo ID: 557282296-1125552217
  • ISBN: 9783836481427
Delivery

Delivery

Dispatched within 24 hours

  • STANDARD: CN¥149.49 - Delivery between Tue 10 November 2026–Tue 08 December 2026

Shipping from United Kingdom.

Returns

Returns

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items.

View full return policy