Formal Methods For Software Engineering Languages Methods Application Doma - Markus Roggenbach

CHF 46.95
+ CHF 16.49 Spedizione

Formal Methods For Software Engineering Languages Methods Application Doma - Markus Roggenbach

Venduto da:
  • product image

CHF 46.95

Disponibile
+ CHF 16.49 Spedizione

Politica di reso a 14 giorni

Metodi di pagamento:

  • Marchio: Unbranded

Descrizione

Formal Methods For Software Engineering Languages Methods Application Doma - Markus Roggenbach

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 Graduate-level 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: Markus Roggenbach
  • Numero di pagine: 556
  • Casa editrice/Casa discografica: Springer Nature B.V
  • Lingua: English
  • Data di pubblicazione: 2022-06-23
  • Formato: Hardcover
  • ID Fruugo: 469763682-983718603
  • ISBN: 9783030387990

Consegna

Spedito entro 24 ore

  • STANDARD: CHF 16.49 - Consegna tra lun 31 agosto 2026–gio 03 settembre 2026

Spedizione da Regno Unito.

Resi

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