Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

59,00 €
+ 10,99 € Envío
  • product image

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Marca: Unbranded
Vendido por:

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Marca: Unbranded

59,00 €

Solo quedan 1 en el inventario
+ 10,99 € Envío
Vendido por:

59,00 €

Solo quedan 1 en el inventario
+ 10,99 € Envío

Aceptamos los siguientes métodos de pago

Descripción

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.
  • Marca: Unbranded
  • Categoría: Informática e Internet
  • Idioma: English
  • Fecha de publicación: 2023-06-24
  • Autor: Siraj Ahmed Shaikh
  • Longitud: 524
  • Editor / Marca: Springer Nature Swit
  • Formato: Paperback
  • Nº de Fruugo : 339437055-744601969
  • ISBN: 9783030388027

Entrega y devolución

Enviado en 24 horas

  • STANDARD: 10,99 € - Entrega entre jue 20 noviembre 2025–lun 24 noviembre 2025

Envío desde Reino Unido.

Hacemos todo lo posible para asegurarnos de que se le entreguen los productos que pida en su totalidad y de acuerdo con sus especificaciones. Sin embargo, si recibe un pedido incompleto o artículos diferentes a los que pidió, o hay alguna otra razón por la que no está satisfecho con el pedido, puede devolver el mismo o cualquier producto incluido en él y obtener un reembolso completo por los artículos. Vea la política de devolución completa