Refinement Semantics Languages And Applications - John Derrick - Paperback - en Book

CN¥524.00
+ CN¥106.49 Shipping
  • product image
Refinement Semantics Languages And Applications - John Derrick - Paperback - en Book

Refinement Semantics Languages And Applications - John Derrick - Paperback - en Book

  • Brand: Unbranded
Sold by:

Refinement Semantics Languages And Applications - John Derrick - Paperback - en Book

  • Brand: Unbranded

CN¥524.00

In stock
+ CN¥106.49 Shipping

14-Day Returns Policy

Sold by:

CN¥524.00

In stock
+ CN¥106.49 Shipping

14-Day Returns Policy

Payment methods:

Description

Refinement Semantics Languages And Applications - John Derrick - Paperback - en Book

Refinement Is One Of The Cornerstones Of A Formal Approach To Software Engineering. Refinement Is All About Turning An Abstract Description (of A Soft Or Hardware System) Into Something Closer To Implementation. It Provides That Essential Bridge Between Higher Level Requirements And An Implementation Of Those Requirements.
  • Brand: Unbranded
  • Category: Computing & Internet
  • Format: Paperback
  • Language: en
  • Length: 292
  • Publisher / Label: Springer Nature B.V
  • Author: John Derrick
  • Fruugo ID: 492021611-1015649514
  • ISBN: 9783030064976

Delivery

Dispatched within 24 hours

  • STANDARD: CN¥106.49 - Delivery between Tue 21 July 2026–Thu 23 July 2026

Shipping from United Kingdom.

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