Computer Aided Verification -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre59,50 €
Produit Neuf
Ou 14,88 € /mois
- Livraison à 0,01 €
- Livré entre le 20 juillet et le 3 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783031986840_dbm
Nos autres offres
-
77,92 €
Produit Neuf
Ou 19,48 € /mois
- Livraison : 3,99 €
- Livré entre le 20 et le 27 juillet
Voir le détail de l'annonce
- 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 de Format Broché - Livre Informatique
0 avis sur Computer Aided Verification de Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Culinaria France
Occasion dès 57,00 €
-
Flandre Et Amérique Latine: 500 Ans De Confrontation Et Métissage
1 avis
Occasion dès 34,00 €
-
500+ Ukrainian Verbs
Neuf dès 69,18 €
-
The Complete Watercolorist's Essential Notebook
Neuf dès 35,41 €
-
Liberalism And The Limits Of Justice
Neuf dès 61,74 €
-
Noco Boost Gb40 :
Neuf dès 54,99 €
-
Rivstart A1 + A2 Textbok
Occasion dès 55,22 €
-
Greek Gods Abroad
Neuf dès 50,25 €
-
English Grammar In Use - With Answers & Ebook
2 avis
Neuf dès 51,45 €
Occasion dès 30,00 €
-
Mauvaises Filles - Portraits De Prostituées 1925-1935
5 avis
Neuf dès 29,90 €
Occasion dès 59,00 €
-
Kodak Pixpro Fz55-Bk : (Japanese Edition)
Neuf dès 45,99 €
-
Museum Of The Revolution
Occasion dès 45,99 €
-
An Anthology Of Graphic Fiction, Cartoons, & True Stories
Occasion dès 45,00 €
-
Introduction To Commutative Algebra
Occasion dès 39,00 €
-
Guide Officiel Bayonetta - Édition Collector
Occasion dès 40,00 €
-
Sophie Calle: Suite Vénitienne
Neuf dès 33,88 €
-
Iconic Roland-Garros - Livre Officiel
1 avis
Occasion dès 42,37 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
Occasion dès 72,53 €
-
Options As A Strategic Investment
Neuf dès 32,30 €
-
Colloquial Ukrainian
Occasion dès 43,19 €
Produits similaires
Présentation Computer Aided Verification de Format Broché
- Livre Informatique
Résumé :
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025. The 51 regular papers presented together 24 tool papers, 4 casestudy papers in these proceedings were carefully reviewed and selected from 305 submissions. The accepted papers cover a wide spectrum of topics, from theoretical results to applications of formal methods. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems, as well as hybrid and stochastic systems. ...
Sommaire:
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025. The 51 regular papers are presented, together with 24 tool papers and 4 case-study papers, were carefully reviewed and selected from 305 submissions. The accepted papers cover a wide spectrum of topics, from theoretical results to applications of formal methods. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems, as well as hybrid and stochastic systems. ...
Détails de conformité du produit
Personne responsable dans l'UE