Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

524,00 DKK
+ 89,99 DKK Shipping

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Brand: Unbranded
  • product image
Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Brand: Unbranded
Price: 524,00 DKK
Sold by:
524,00 DKK
+ 89,99 DKK Shipping

Only 1 left in stock

We accept the following payment methods

Description

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 & Returns

Dispatched within 24 hours

  • STANDARD: 89,99 DKK - Delivery between Wed 24 September 2025–Tue 30 September 2025

Shipping from United Kingdom.

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