Computer Aided Verification -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre72,68 €
Produit Neuf
Ou 18,17 € /mois
- Livraison à 0,01 €
- Livré entre le 21 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;ria9783031986673_dbm
Nos autres offres
-
77,86 €
Produit Neuf
Ou 19,47 € /mois
- Livraison : 3,99 €
- Livré entre le 21 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.
-
Rivstart A1 + A2 Textbok
Occasion dès 55,22 €
-
Iconic Roland-Garros - Livre Officiel
1 avis
Occasion dès 42,48 €
-
Vivian Maier - Photographin
Occasion dès 46,74 €
-
Dark City. The Real Los Angeles Noir
Neuf dès 50,00 €
Occasion dès 40,00 €
-
Colloquial Ukrainian
Occasion dès 44,07 €
-
Jouef : Les Petits Trains De Notre Enfance
1 avis
Occasion dès 47,39 €
-
Duden Deutsches Universalwörterbuch - Das Umfassende Bedeutungswörterbuch Der Deutschen Gegenwartssprache
1 avis
Occasion dès 48,74 €
-
Microeconomics, Global Edition
Neuf dès 151,23 €
Occasion dès 75,90 €
-
Anglais Débutants À B2 - Pack Audio (3 Cd Audio)
1 avis
Neuf dès 65,90 €
Occasion dès 52,72 €
-
Paula Rego
Occasion dès 61,25 €
-
Marilyn Monroe
Neuf dès 44,00 €
Occasion dès 36,95 €
-
Jiu-Jitsu University
1 avis
Neuf dès 47,13 €
Occasion dès 38,70 €
-
Bikablo Émotions
2 avis
Occasion dès 47,19 €
-
Cognitive Linguistics
Neuf dès 73,49 €
Occasion dès 44,33 €
-
The New Nelson Japanese-English Character Dictionary
2 avis
Neuf dès 97,22 €
Occasion dès 43,14 €
-
Financial Markets And Institutions, Global Edition
Neuf dès 114,68 €
Occasion dès 66,73 €
-
Narrative Economics
Neuf dès 64,78 €
Occasion dès 40,02 €
-
Amazônia
Occasion dès 91,39 €
-
Van Cleef & Arpels: Timeless Beauty
Neuf dès 50,00 €
Occasion dès 45,00 €
-
Alex Webb And Rebecca Norris Webb: Brooklyn, The City Within
Neuf dès 64,60 €
Occasion dès 38,20 €
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 case-study 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