Automated Technology for Verification and Analysis -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre122,03 €
Produit Neuf
Ou 30,51 € /mois
- Livraison : 3,99 €
- Livré entre le 4 et le 10 août
- 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.
-
Murder By Design
Neuf dès 129,61 €
-
Making Music - 74 Creative Strategies For Electronic Music Producers
Occasion dès 69,99 €
-
Dynamo 1 Workbook A (Pack Of 8)
Neuf dès 68,20 €
-
L'esperanto Sans Peine
Occasion dès 79,00 €
-
Cyanotype
Neuf dès 90,31 €
-
12 Division Headquarters, Branches And Services Royal Army Medical Corps Assistant Director Medical Services
Neuf dès 90,80 €
-
L'allemand Facile Par J. Chassard Et G. Weil. Classe De 4è. Nouvelle Édition. 1967.
Occasion dès 70,00 €
-
Off The Record
Occasion dès 124,97 €
-
Abandoned Places
Neuf dès 83,99 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
Vouet: Grand Palais 6 Novembre 1990 11 Février 1991
Occasion dès 150,00 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
Mykonos Muse
Neuf dès 105,00 €
Occasion dès 79,90 €
-
Car Racing 1965
2 avis
Neuf dès 109,00 €
-
Oxford Resources For Ib Dp Chemistry: Course Book
Neuf dès 102,33 €
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
Anders Petersen, Rome
Occasion dès 65,00 €
-
Official Guide To Oet
Neuf dès 69,41 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
Produits similaires
Présentation Automated Technology For Verification And Analysis Format Broché
- Livre Informatique
Résumé :
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.
Sommaire:
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware....
Détails de conformité du produit
Personne responsable dans l'UE