Computer Aided Verification by Edited by Aarti Gupta & Edited by Sharad Malik

NOK 2 399,00
+ NOK 142,49 i frakt
  • product image

Computer Aided Verification by Edited by Aarti Gupta & Edited by Sharad Malik

  • Merke: Unbranded
Solgt av:

Computer Aided Verification by Edited by Aarti Gupta & Edited by Sharad Malik

  • Merke: Unbranded

NOK 2 399,00

Ikke tilgjengelig for øyeblikket
+ NOK 142,49 i frakt

14-dagers returpolicy

Solgt av:

NOK 2 399,00

Ikke tilgjengelig for øyeblikket
+ NOK 142,49 i frakt

14-dagers returpolicy

Betalingsmåter:

Beskrivelse

Computer Aided Verification by Edited by Aarti Gupta & Edited by Sharad Malik

Please note that we cannot guarantee delivery by Christmas. Constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification CAV 2008 held in Princeton NJ USA in July 2008. This book features 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials.
  • Merke: Unbranded
  • Kategori: Databehandling & internett
  • Antall sider: 558
  • Format: Paperback softback
  • Forlag / Selskap: SpringerVerlag Berlin and Heidelberg GmbH & Co. KG
  • Publiseringsdato: 2008-06-17
  • Forfatter: Edited by Aarti Gupta & Edited by Sharad Malik
  • Språk: English
  • Fruugo-ID: 59094871-119716756
  • ISBN: 9783540705437

Levering og retur

Sendes i løpet av −1 dager

  • STANDARD: NOK 142,49 - Levering mellom kl tir. 27 januar 2026–man. 02 februar 2026

Sendes fra Storbritannia.

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