Computer Aided Verification

NOK 949,00
+ NOK 228,49 i frakt

Computer Aided Verification

Solgt av:
  • product image

NOK 949,00

På lager
+ NOK 228,49 i frakt

14-dagers returpolicy

Betalingsmåter:

Produktdetaljer

Produktdetaljer

Computer Aided Verification

This Open Access Two-volume Set Lncs 10980 And 10981 Constitutes The Refereed Proceedings Of The 30th International Conference On Computer Aided Verification, Cav 2018, Held In Oxford, Uk, In July 2018. The 52 Full And 13 Tool Papers Presented Together With 3 Invited Papers And 2 Tutorials Were Carefully Reviewed And Selected From 215 Submissions. The Papers Cover A Wide Range Of Topics And Techniques, From Algorithmic And Logical Foundations Of Verification To Practical Applications In Distributed, Networked, Cyber-physical, And Autonomous Systems.
  • Fruugo-ID: 556957828-1125204200
  • ISBN: 9781013270987
Levering

Leveranse

Sendes i løpet av 24 timer

  • STANDARD: NOK 228,49 - Levering mellom kl ons. 25 november 2026–fre. 27 november 2026

Sendes fra Storbritannia.

Retur

Retur

Vi gjør vårt beste for å sikre at produktene du bestiller, leveres til deg i sin helhet og i samsvar med dine spesifikasjoner. Skulle du likevel motta en ufullstendig bestilling eller andre varer enn dem du bestilte, eller hvis du av en eller annen grunn ikke er fornøyd med bestillingen, kan du returnere bestillingen eller enkeltvarer i bestillingen og motta full refusjon for varene.

Se fullstendige retningslinjer for retur