Computer Aided Verification 34th International Conference Cav 2022 Haifa - Springer Nature B.V

CHF 48.95
+ CHF 11.49 Spedizione
  • product image

Computer Aided Verification 34th International Conference Cav 2022 Haifa - Springer Nature B.V

  • Marchio: Unbranded
Venduto da:

Computer Aided Verification 34th International Conference Cav 2022 Haifa - Springer Nature B.V

  • Marchio: Unbranded

CHF 48.95

Disponibile
+ CHF 11.49 Spedizione

Politica di reso a 14 giorni

Venduto da:

CHF 48.95

Disponibile
+ CHF 11.49 Spedizione

Politica di reso a 14 giorni

Metodi di pagamento:

Descrizione

Computer Aided Verification 34th International Conference Cav 2022 Haifa - Springer Nature B.V

This Open Access Two-volume Set Lncs 13371 And 13372 Constitutes The Refereed Proceedings Of The 34rd International Conference On Computer Aided Verification, Cav 2022, Which Was Held In Haifa, Israel, In August 2022. The 40 Full Papers Presented Together With 9 Tool Papers And 2 Case Studies Were Carefully Reviewed And Selected From 209 Submissions. The Papers Were Organized In The Following Topical Sections: Part I: Invited Papers; Formal Methods For Probabilistic Programs; Formal Methods For Neural Networks; Software Verification And Model Checking; Hyperproperties And Security; Formal Methods For Hardware, Cyber-physical, And Hybrid Systems.
  • Marchio: Unbranded
  • Categoria: Computer e internet
  • Autore: Springer Nature B.V
  • Numero di pagine: 576
  • Casa editrice/Casa discografica: Springer Nature B.V
  • Lingua: English
  • Formato: Paperback
  • ID Fruugo: 469769559-983724493
  • ISBN: 9783031131844

Consegna

Spedito entro 24 ore

  • STANDARD: CHF 11.49 - Consegna tra lun 06 luglio 2026–gio 09 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