Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

CN¥429.00
+ CN¥122.49 Shipping

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Brand: Unbranded
Sold by:

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Brand: Unbranded

CN¥429.00

Only 1 left in stock
+ CN¥122.49 Shipping

14-Day Returns Policy

Sold by:

CN¥429.00

Only 1 left in stock
+ CN¥122.49 Shipping

14-Day Returns Policy

Payment methods:

Description

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

Software programs are formal entities with precise meanings independent of their programmers so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduatelevel introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours.
  • Brand: Unbranded
  • Category: Computing & Internet
  • Format: Paperback
  • Language: English
  • Publication Date: 2023-06-24
  • Length: 524
  • Publisher / Label: Springer Nature Swit
  • Author: Siraj Ahmed Shaikh
  • Fruugo ID: 339437055-744601969
  • ISBN: 9783030388027

Delivery

Dispatched within 24 hours

  • STANDARD: CN¥122.49 - Delivery between Wed 22 July 2026–Fri 24 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

Product Compliance Details

Please see the compliance information specific to this product outlined below.

The following information is provided by the independent third-party retailer selling this product.

Manufacturer
The following information outlines the contact details for the manufacturer of the relevant product sold on Fruugo.

  • Springer Nature Switzerland AG
  • Springer Nature Switzerland AG
  • Europaplatz 3 69115 Heidelberg Germany, [email protected], www.springernature.com, +41 41 7473600
  • Heidelberg
  • DE
  • 69115
  • [email protected]
  • https://www.springernature.com

Responsible Person in the EU
The following information outlines the contact information for the responsible person in the EU. The responsible person is the designated economic operator based in the EU who is responsible for the compliance obligations relating to the relevant product sold into the European Union.

  • Lightning Source France
  • Springer Nature Switzerland AG
  • 48 Av. Johannes Gutenberg
  • Maurepas
  • FR
  • 78310
  • [email protected]
  • https://www.ingramcontent.com/pod-product-compliance