Computer Aided Verification -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre138,66 €
Produit Neuf
Ou 34,67 € /mois
- Livraison à 0,01 €
- Livré entre le 26 mai et le 2 juin
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783642221095_dbm
Nos autres offres
-
73,61 €
Produit Neuf
Ou 18,40 € /mois
- Livraison : 3,99 €
- Livré entre le 26 et le 30 mai
-
138,66 €
Produit Neuf
Ou 34,67 € /mois
- Livraison à 0,01 €
- Livré entre le 26 mai et le 2 juin
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783642221095_dbm
-
122,77 €
Produit Neuf
Ou 30,69 € /mois
- Livraison : 25,00 €
- Livré entre le 8 et le 13 juin
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Computer Aided Verification Format Broché - Livre Informatique
0 avis sur Computer Aided Verification Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Bruegel. The Complete Works
Neuf dès 95,23 €
-
Portfolio Joubert "Les Scouts"
Occasion dès 75,00 €
-
Ocp Oracle Certified Professional Java Se 21 Developer Study Guide
Neuf dès 72,73 €
-
Western Technology And Soviet Economic Development 1945-1968
Neuf dès 60,23 €
-
Toute Photographie Fait Énigme
Occasion dès 45,80 €
-
Quantum Computing: An Applied Approach
Occasion dès 39,00 €
-
Implementing Domain-Driven Design
Neuf dès 63,38 €
Occasion dès 46,72 €
-
Handbook Of Multilingualism And Multiculturalism
Neuf dès 60,00 €
Occasion dès 50,00 €
-
Under Siege
Neuf dès 50,83 €
-
Moonwalk By Michael Jackson
2 avis
Occasion dès 70,46 €
-
The Young Adventurer's Collection Box Set 2 (Dungeons & Dragons 4-Book Boxed Set)
Neuf dès 37,31 €
-
Best Karate, Vol.3
Occasion dès 39,00 €
-
The Oxford Handbook Of Latin American History
Neuf dès 80,98 €
-
Joel Meyerowitz: Europa 1966-1967
Neuf dès 50,00 €
-
Louis Carlos Bernal: Monografía
Neuf dès 50,27 €
-
The Eye
Neuf dès 54,00 €
-
Allemand - La Méthode Michel Thomas, Débutants Et Faux Débutants (7 Cd Audio)
1 avis
Neuf dès 75,00 €
Occasion dès 50,49 €
-
Ernst Haas - New York In Color, 1952-1962
1 avis
Neuf dès 49,54 €
-
Nicolas Roerich. La Vie Et L'oeuvre D'un Maitre Russe
2 avis
Occasion dès 50,00 €
-
Mies Van Der Rohe
Occasion dès 96,00 €
Produits similaires
Présentation Computer Aided Verification Format Broché
- Livre Informatique
Résumé :
This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011. The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the following workshops: 4th International Workshop on Numerical Software Verification (NSV 2011), 10th International Workshop on Parallel and Distributed Methods in Verifications (PDMC 2011), 4th International Workshop on Exploiting Concurrency Efficiently and Correctly (EC2 2011), Frontiers in Analog Circuit Synthesis and Verification (FAC 2011), International Workshop on Satisfiability Modulo Theories, including SMTCOMP (SMT 2011), 18th International SPIN Workshop on Model Checking of Software (SPIN 2011), Formal Methods for Robotics and Automation (FM-R 2011), and Practical Synthesis for Concurrent Systems (PSY 2011).
Détails de conformité du produit
Personne responsable dans l'UE