Computer Aided Verification -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre78,51 €
Produit Neuf
Ou 19,63 € /mois
- Livraison : 3,99 €
- Livré entre le 20 et le 27 juillet
- 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.
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
Gilbert Portanier
Neuf dès 81,26 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 72,46 €
-
Culinaria France
Occasion dès 57,00 €
-
500+ Ukrainian Verbs
Neuf dès 69,18 €
-
Fundamentals Of Creature Design
Neuf dès 47,55 €
-
Liberalism And The Limits Of Justice
Neuf dès 61,74 €
-
Medieval Military Technology, Second Edition
Neuf dès 68,09 €
-
Rivstart A1 + A2 Textbok
Occasion dès 55,22 €
-
Gandharan Art In Its Buddhist Context
Neuf dès 62,65 €
-
Kodak Pixpro Fz55-Bk : (Japanese Edition)
Neuf dès 45,99 €
-
Museum Of The Revolution
Occasion dès 45,99 €
-
Final Fantasy X 25th Anniversary Visual Art Book -Eternal Spira-
Neuf dès 41,99 €
-
Buddhist Monuments And Temples Of Cambodia And Laos
Neuf dès 39,26 €
-
Guide Officiel Bayonetta - Édition Collector
Occasion dès 40,00 €
-
Iconic Roland-Garros - Livre Officiel
1 avis
Occasion dès 42,48 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
Occasion dès 72,53 €
-
Colloquial Ukrainian
Occasion dès 43,19 €
-
Georgia O'keeffe
Occasion dès 105,99 €
Produits similaires
Présentation Computer Aided Verification Format Broché
- Livre Informatique
Résumé :
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
Détails de conformité du produit
Personne responsable dans l'UE