Nasa Formal Methods 5th International Symposium Nfm 2013 Moffett Field

CHF 69.00
+ CHF 15.49 Spedizione

Nasa Formal Methods 5th International Symposium Nfm 2013 Moffett Field

Venduto da:
  • product image

CHF 69.00

Disponibile
+ CHF 15.49 Spedizione

Politica di reso a 14 giorni

Metodi di pagamento:

Dettagli del prodotto

Dettagli del prodotto

Nasa Formal Methods 5th International Symposium Nfm 2013 Moffett Field

This Book Constitutes The Refereed Proceedings Of The 5th International Symposium On Nasa Formal Methods, Nfm 2013, Held In Moffett Field, Ca, Usa, In May 2013. The 28 Revised Regular Papers Presented Together With 9 Short Papers Talks Were Carefully Reviewed And Selected From 99 Submissions. The Topics Are Organized In Topical Sections On Model Checking; Applications Of Formal Methods; Complex Systems; Static Analysis; Symbolic Execution; Requirements And Specifications; Probabilistic And Statistical Analysis; And Theorem Proving.
  • Marchio: Springer Nature B.V
  • Categoria: Computer e internet
  • Autore: Springer Nature B.V
  • Numero di pagine: 512
  • Casa editrice/Casa discografica: Springer Nature B.V
  • Lingua: English
  • Data di pubblicazione: 2013-04-17
  • Formato: Paperback
  • ID Fruugo: 557253200-1125523070
  • ISBN: 9783642380877
Consegna

Consegna

Spedito entro 24 ore

  • STANDARD: CHF 15.49 - Consegna tra gio 12 novembre 2026–lun 16 novembre 2026

Spedizione da Regno Unito.

Resi

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