High Integrity Software

189,00 €
+ 8,49 € Spedizione
  • product image

High Integrity Software

  • Marchio: Unbranded
Venduto da:

High Integrity Software

  • Marchio: Unbranded

189,00 €

Disponibile
+ 8,49 € Spedizione

Politica di reso a 14 giorni

Venduto da:

189,00 €

Disponibile
+ 8,49 € Spedizione

Politica di reso a 14 giorni

Metodi di pagamento:

Descrizione

High Integrity Software

I General Applications of Formal Methods and Systems. - 1 Designware: Software Development by Refinement. - 2 B : Towards Zero Defect Software. - 3 The Use of B to Specify Design and Verify Hardware. - 4 A System for Predictable Component-Based Software Construction. - 5 Autonomous Decentralized Systems. - II Case Study. - 6 Bay Area Rapid Transit System Case Study. - 7 Using SCR to Specify the BART Requirements. - 8 A Domain Language for a Class of Reactive Systems. - 9 Refinement-based Derivation of Train Controllers. - III Verification and Validation. - 10 Validation of a Relational Program. - 11 Verification of a Controller for BART. - 12 Using Virtual Reality to Validate System Models. Language: English
  • Marchio: Unbranded
  • Categoria: Computer e internet
  • Numero di pagine: 325
  • Casa editrice/Casa discografica: Springer
  • Lingua: English
  • Data di pubblicazione: 2012/11/01
  • Artista: Victor L. Winter
  • Formato: Paperback
  • ID Fruugo: 340077228-746008016
  • ISBN: 9781461355304

Consegne e Resi

Spedito entro 6 giorni

  • STANDARD: 8,49 € - Consegna tra mer 07 gennaio 2026–lun 12 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