Computer Aided Verification -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre72,10 €
Produit Neuf
Ou 18,03 € /mois
- Livraison à 0,01 €
- Livré entre le 15 et le 22 mai
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783319961446_dbm
Nos autres offres
-
98,10 €
Produit Neuf
Ou 24,53 € /mois
- Livraison : 25,00 €
- Livré entre le 29 mai et le 3 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.
-
Moonwalk
2 avis
Occasion dès 72,99 €
-
Ice Cold - A Hip-Hop Jewelry History
1 avis
Neuf dès 80,00 €
Occasion dès 51,68 €
-
Colloquial Scottish Gaelic
Neuf dès 80,44 €
-
Saul Leiter
2 avis
Neuf dès 79,16 €
Occasion dès 147,15 €
-
Made For Skate
Occasion dès 41,66 €
-
Foundations Of Osteopathic Medicine Relié
Occasion dès 65,00 €
-
Biological Exuberance
Neuf dès 48,88 €
Occasion dès 62,57 €
-
Homeless Portraits Of Americans In Hard Times
Occasion dès 39,51 €
-
Character Design Quarterly 7
Occasion dès 45,00 €
-
Complete Gaelic Beginner To Intermediate Book And Audio Course
Neuf dès 41,63 €
-
Understanding The Linux Kernel
Neuf dès 65,23 €
Occasion dès 43,79 €
-
Mathématiques 1re S Et E : Géométrie Et Statistiques (Collection Terracher)
2 avis
Occasion dès 48,38 €
-
The Dog's Gaze
Neuf dès 47,03 €
-
Kodak Pixpro Fz55 :
Neuf dès 48,99 €
-
The Unknown Monet
Neuf dès 74,28 €
-
Le Japonais Superpack (Book + 4 Cd Audio + 1mp3 Usb)
1 avis
Neuf dès 74,90 €
Occasion dès 37,49 €
-
Dc Finest: Justice League Of America: The Return
Neuf dès 38,89 €
-
Molyneux
Occasion dès 78,95 €
-
The Economics Of The Welfare State
Occasion dès 68,56 €
-
Lingua Latina Per Se Illustrata: Familia Romana
5 avis
Neuf dès 36,09 €
Occasion dès 76,99 €
Produits similaires
Présentation Computer Aided Verification Format Broché
- Livre Informatique
Résumé :
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. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Sommaire:
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. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications....
Détails de conformité du produit
Personne responsable dans l'UE