Predicate Calculus and Program Semantics

119,00 €
+ 7,49 € Spedizione
  • product image

Predicate Calculus and Program Semantics

  • Marchio: Unbranded
Venduto da:

Predicate Calculus and Program Semantics

  • Marchio: Unbranded

119,00 €

Disponibile
+ 7,49 € Spedizione

Politica di reso a 14 giorni

Venduto da:

119,00 €

Disponibile
+ 7,49 € Spedizione

Politica di reso a 14 giorni

Metodi di pagamento:

Descrizione

Predicate Calculus and Program Semantics

1. On structures. - 2. On substitution and replacement. - 3. On functions and equality. - 4. On our proof format. - 5. The calculus of boolean structures. - 6. Some properties of predicate transformers. - 7. Semantics of straight-line programs. - 8. Equations in predicates and their extreme solutions. - 9. Semantics of repetitions. - 10. Operational considerations. - 11. Converse predicate transformers. - 12. The strongest postcondition. Language: English
  • Marchio: Unbranded
  • Categoria: Computer e internet
  • Numero di pagine: 220
  • Casa editrice/Casa discografica: Springer
  • Lingua: English
  • Data di pubblicazione: 2011/09/26
  • Artista: Edsger W. Dijkstra
  • Formato: Paperback
  • ID Fruugo: 337882985-741542272
  • ISBN: 9781461279242

Consegne e Resi

Spedito entro 5 giorni

  • STANDARD: 7,49 € - Consegna tra ven 02 gennaio 2026–mer 07 gennaio 2026

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