Automated Technology for Verification and Analysis -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre90,05 €
Occasion · Comme Neuf
Ou 22,51 € /mois
- Livraison : 25,00 €
- Livré entre le 9 et le 18 mai
Nos autres offres
-
93,42 €
Produit Neuf
Ou 23,36 € /mois
- Livraison : 25,00 €
- Livré entre le 15 et le 20 mai
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 Automated Technology For Verification And Analysis Format Broché - Livre Informatique
0 avis sur Automated Technology For Verification And Analysis Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Yoshitomo Nara: Pinacoteca
Occasion dès 62,33 €
-
Pomellato
Occasion dès 80,00 €
-
La Sante Interdite
Occasion dès 45,04 €
-
Warehouse Management
Neuf dès 66,26 €
-
Dosso Dossi: Court Painter In Renaissance Ferrara
Occasion dès 55,00 €
-
Professional Goldsmithing : A Contemporary Guide To Traditional Jewelry Techniques
Occasion dès 110,38 €
-
Yngwie Malmsteen Anthology
1 avis
Neuf dès 49,99 €
-
Sennelier L'artisan Des Couleurs
Occasion dès 67,00 €
-
Medicine 1 - Student's Book
Occasion dès 47,99 €
-
Encyclopedia Of Hydrangeas
Occasion dès 51,25 €
-
Financial Markets And Institutions, Global Edition
Neuf dès 117,78 €
-
My Favorite Thing Is Monsters
1 avis
Neuf dès 50,53 €
-
The Colouring, Bronzing And Patination Of Metals
Neuf dès 74,06 €
Occasion dès 60,00 €
-
Hilgard S Introduction To Psychology Rita L. Atkinson
Occasion dès 95,99 €
-
L'allemand B2 Pack Téléchargement - Avec 1 Livre, 1 Livret Et 1 Téléchargement Audio
Neuf dès 49,90 €
Occasion dès 62,61 €
-
Simone Pheulpin
Neuf dès 79,00 €
Occasion dès 134,22 €
-
Power Electronics
Neuf dès 55,39 €
-
Finance For Executives
Occasion dès 50,00 €
-
Storm Chasing Handbook, 2nd. Ed.
Neuf dès 64,46 €
-
Pucci De Rossi: '71-'96
Occasion dès 49,70 €
Produits similaires
Présentation Automated Technology For Verification And Analysis Format Broché
- Livre Informatique
Résumé :
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.
Sommaire: Neural Networks and Machine Learning.- Automata.- Logics.- Techniques for Verification, Analysis and Testing.- Model Checking and Decision Procedures.- Synthesis.- Randomization and Probabilistic Systems.
Détails de conformité du produit
Personne responsable dans l'UE