Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

59,00 €
+ 14,99 € Spedizione
  • product image

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Marchio: Unbranded
Venduto da:

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Marchio: Unbranded

59,00 €

Solo 1 restante in magazzino
+ 14,99 € Spedizione
Venduto da:

59,00 €

Solo 1 restante in magazzino
+ 14,99 € Spedizione

Accettiamo i seguenti metodi di pagamento

Descrizione

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.
  • Marchio: Unbranded
  • Categoria: Computer e internet
  • Autore: Siraj Ahmed Shaikh
  • Casa editrice/Casa discografica: Springer Nature Swit
  • Lunghezza: 524
  • Lingua: English
  • Data di pubblicazione: 2023-06-24
  • Formato: Paperback
  • ID Fruugo: 339437055-744601969
  • ISBN: 9783030388027

Consegne e Resi

Spedito entro 24 ore

  • STANDARD: 14,99 € - Consegna tra ven 21 novembre 2025–gio 27 novembre 2025

Spedizione da Regno Unito.

Facciamo del nostro meglio per assicurare che i prodotti che ordini vengano consegnati integralmente e secondo le tue indicazioni. Tuttavia, nel caso dovessi ricevere un ordine incompleto, oppure articoli differenti rispetto a quelli che hai ordinato, o se c'è qualche altro motivo per il quale non sei soddisfatto dell'ordine, puoi effettuare il reso dell'ordine, o qualsiasi prodotto incluso nell'ordine e ricevere un rimborso completo per gli articoli. Visualizza la politica di reso completa