Computer Aided Verification

874,00 DKK
+ 169,49 DKK Levering

Computer Aided Verification

Sоlgt af:
  • product image

874,00 DKK

På lager
+ 169,49 DKK Levering

14-dages returpolitik

Køberbeskyttelse

Betalingsmetoder:

Produktdetaljer

Produktdetaljer

Computer Aided Verification

The Open Access Two-volume Set Lncs 11561 And 11562 Constitutes The Refereed Proceedings Of The 31st International Conference On Computer Aided Verification, Cav 2019, Held In York City, Usa, In July 2019. The 52 Full Papers Presented Together With 13 Tool Papers And 2 Case Studies, Were Carefully Reviewed And Selected From 258 Submissions. The Papers Were Organized In The Following Topical Sections: Part I: Automata And Timed Systems; Security And Hyperproperties; Synthesis; Model Checking; Cyber-physical Systems And Machine Learning; Probabilistic Systems, Runtime Techniques; Dynamical, Hybrid, And Reactive Systems; Part Ii: Logics, Decision Procedures; And Solvers; Numerical Programs; Verification; Distributed Systems And Networks; Verification And Invariants; And Concurrency.this Work Was Published By Saint Philip Street Press Pursuant To A Creative Commons License Permitting Commercial Use.
  • Fruugo ID: 556948541-1125193273
  • ISBN: 9781013271151
Løfte

Sælgergaranti

2 års juridisk garanti inkluderet

Dine EU-forbrugerrettigheder inkluderer en gratis minimum 2 års juridisk garanti

Download juridisk overensstemmelsesgaranti
Levering

Levering

Sendes inden for 24 timer

  • STANDARD: 216,20 DKK - Levering mellem kl ons. 11 november 2026–fre. 13 november 2026

Afsendes fra Storbritannien.

Returnering

Returnering og afbestilling

Returnering

Vi gør vores bedste for at sikre, at de produkter, du bestiller, leveres til dig fuldt ud og i henhold til dine specifikationer. Skulle du dog modtage en ufuldstændig ordre eller andre ting end dem, du bestilte, eller der er en anden grund til, at du ikke er tilfreds med ordren, kan du returnere ordren eller produkter inkluderet i ordren og modtage en fuld refusion for varerne.

Se fuld returpolitik

Afbestillinger

Du har ret til at fortryde dit køb inden for 14 dage efter modtagelse af din ordre uden at angive en grund. For nemt at udøve din ret kan du bruge linket "Annuller min ordre" i sidefoden på hver side eller på din Fruugo-konto under "Ordrer". Når du har udøvet din fortrydelsesret, sender vi dig en e-mailbekræftelse. Hvis din ordre allerede er blevet sendt af forhandleren, giver vi dig de nødvendige returinstruktioner for at sikre, at din refusion behandles hurtigt.

Se den fulde afbestillingspolitik