Model Checking Software 26th International Symposium Spin 2019 Beijing - Springer Nature B.V

CHF 64.00
+ CHF 11.49 Spedizione
  • product image

Model Checking Software 26th International Symposium Spin 2019 Beijing - Springer Nature B.V

  • Marchio: Unbranded
Venduto da:

Model Checking Software 26th International Symposium Spin 2019 Beijing - Springer Nature B.V

  • Marchio: Unbranded

CHF 64.00

Disponibile
+ CHF 11.49 Spedizione

Politica di reso a 14 giorni

Venduto da:

CHF 64.00

Disponibile
+ CHF 11.49 Spedizione

Politica di reso a 14 giorni

Metodi di pagamento:

Descrizione

Model Checking Software 26th International Symposium Spin 2019 Beijing - Springer Nature B.V

This Book Constitutes The Refereed Proceedings Of The 26th International Symposium On Model Checking Software, Spin 2019, Held In Beijing, China, In July 2019. The 11 Full Papers Presented And 2 Demo-tool Papers, Were Carefully Reviewed And Selected From 29 Submissions. Topics Covered Include Formal Verification Techniques For Automated Analysisof Software; Formal Analysis For Modeling Languages, Such As Umlstate Charts;formal Specification Languages, Temporal Logic, Design-by-contract; Model Checking,automated Theorem Proving, Including Sat And Smt; Verifying Compilers;abstraction And Symbolic Execution Techniques; And Much More.
  • Marchio: Unbranded
  • Categoria: Computer e internet
  • Autore: Springer Nature B.V
  • Numero di pagine: 272
  • Casa editrice/Casa discografica: Springer Nature B.V
  • Lingua: English
  • Formato: Paperback
  • ID Fruugo: 469762636-983717588
  • ISBN: 9783030309220

Consegna

Spedito entro 24 ore

  • STANDARD: CHF 11.49 - Consegna tra lun 20 luglio 2026–gio 23 luglio 2026

Spedizione da Regno Unito.

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