Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3

CHF 48.95
+ CHF 6.99 Spedizione

Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3

  • Marchio: Unbranded
Venduto da:

Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3

  • Marchio: Unbranded

CHF 48.95

Disponibile
+ CHF 6.99 Spedizione

Politica di reso a 14 giorni

Venduto da:

CHF 48.95

Disponibile
+ CHF 6.99 Spedizione

Politica di reso a 14 giorni

Accettiamo i seguenti metodi di pagamento

Descrizione

Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3

The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z this book justifies the claim that Z is a precise specification language and provides a standard framework for understanding Z specifications. Z is compared with other methods such as VDM and CLEAR and in the final chapter a number of studies in Z style are presented to show that Z can be used in a wide variety of specification tasks. This book will appeal to those who wish to deepen their understanding of the mathematical background of the Z method those who want a concise definition of the language and those interested in the design of specification languages. Language: English
  • Marchio: Unbranded
  • Categoria: Computer e internet
  • Numero di pagine: 140
  • Casa editrice/Casa discografica: Cambridge University Press
  • Lingua: English
  • Data di pubblicazione: 2008/01/21
  • Artista: Spivey J. M.
  • Formato: Paperback
  • ID Fruugo: 337398384-741030578
  • ISBN: 9780521054140

Consegne e Resi

Spedito entro 5 giorni

  • STANDARD: CHF 6.99 - Consegna tra gio 25 dicembre 2025–mar 30 dicembre 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