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

199,00 €
+ 7,49 € Livraison

Black Friday

Achetez maintenant
  • product image

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

  • Marque: Unbranded
Verkocht door:

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

  • Marque: Unbranded

199,00 €

Actuellement indisponible
+ 7,49 € Livraison
Verkocht door:

199,00 €

Actuellement indisponible
+ 7,49 € Livraison

Nous acceptons les modes de paiement suivants

Description

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.
  • Marque: Unbranded
  • Catégorie: Informatique et Internet
  • Auteur: Edited by Aarti Gupta & Edited by Sharad Malik
  • Nombre de pages: 558
  • Date de publication: 2008-06-17
  • Editeur / Label: SpringerVerlag Berlin and Heidelberg GmbH & Co. KG
  • Format: Paperback softback
  • Langue: English
  • Identifiant Fruugo: 59094871-119716756
  • ISBN: 9783540705437

Livraison & retours

Expédition dans un délai de -1 jours

  • STANDARD: 7,49 € - Livraison entre mar. 09 décembre 2025–jeu. 11 décembre 2025

Expédition de Royaume-Uni.

Nous mettons tout en œuvre pour que les produits que vous commandez vous soient livrés dans leur intégralité et selon vos indications. Néanmoins, si vous recevez une commande incomplète, des articles différents de ceux commandés ou si, pour toute autre raison, la commande ne vous satisfait pas, vous pouvez retourner la commande ou tout produit inclus dans celle-ci et recevoir un remboursement complet des articles. Voir l'intégralité de la politique de retour