Qed At Large by Zachary Tatlock Paperback

CHF 64.00
+ CHF 8.49 Spedizione
  • product image

Qed At Large by Zachary Tatlock Paperback

  • Marchio: Unbranded
Venduto da:

Qed At Large by Zachary Tatlock Paperback

  • Marchio: Unbranded

CHF 64.00

Solo 1 restante in magazzino
+ CHF 8.49 Spedizione
Venduto da:

CHF 64.00

Solo 1 restante in magazzino
+ CHF 8.49 Spedizione

Accettiamo i seguenti metodi di pagamento

Descrizione

Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underlying assumptions. Tools supporting such development have been available for over 40 years but have only recently seen wide practical use. Projects based on construction of machinechecked formal proofs are now reaching an unprecedented scale comparable to large software projects which leads to new challenges in proof development and maintenance.
  • Marchio: Unbranded
  • Categoria: Computer e internet
  • Autore: Zachary Tatlock
  • Casa editrice/Casa discografica: now publishers Inc
  • Lunghezza: 194
  • Lingua: English
  • Data di pubblicazione: 2019-09-03
  • Formato: Paperback
  • ID Fruugo: 339417594-744581621
  • ISBN: 9781680835946

Consegne e Resi

Spedito entro 24 ore

  • STANDARD: CHF 8.49 - Consegna tra ven 31 ottobre 2025–gio 06 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