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

CHF 48.95
+ CHF 11.49 Versand
  • product image

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

  • Marke: Unbranded
Verkauft von:

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

  • Marke: Unbranded

CHF 48.95

Auf Lager
+ CHF 11.49 Versand

14-Tage-Rückgabepolitik

Verkauft von:

CHF 48.95

Auf Lager
+ CHF 11.49 Versand

14-Tage-Rückgabepolitik

Zahlungsmethoden:

Beschreibung

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.
  • Marke: Unbranded
  • Kategorie: Computer und Internet
  • Format: Paperback
  • Autor: Springer Nature B.V
  • Verlag / Label: Springer Nature B.V
  • Sprache: English
  • Seitenzahl: 576
  • Fruugo-ID: 469769559-983724493
  • ISBN: 9783031131844

Lieferung

Versand innerhalb von 24 Stunden

  • STANDARD: CHF 11.49 - Lieferung zwischen Fr. 03 Juli 2026–Mi. 08 Juli 2026

Versand von Vereinigtes Königreich.

Rückgabe

Wir tun unser Bestes, um dafür zu sorgen, dass die von Ihnen bestellten Produkte vollständig und gemäß Ihrer Spezifikationen an Sie geliefert werden. Wenn Sie allerdings eine unvollständige Bestellung oder Artikel erhalten, die sich von den bestellten unterscheiden, oder es einen anderen Grund gibt, warum Sie mit Ihrer Bestellung nicht zufrieden sind, können Sie die gesamte Bestellung oder einzelne darin enthaltenen Produkte zurücksenden und eine vollständige Rückerstattung für die Artikel erhalten.

Vollständige Rückgaberichtlinie ansehen