Automated Technology for Verification and Analysis -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre131,08 €
Produit Neuf
Ou 32,77 € /mois
- Livraison : 3,99 €
- Livré entre le 1 et le 7 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.
-
Dynamo 1 Workbook A (Pack Of 8)
Neuf dès 68,20 €
-
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 €
-
Car Racing 1968
2 avis
Neuf dès 109,00 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
The Shock Of The Ancient
Neuf dès 79,73 €
-
An American Odyssey - Photos From The Detroit Photographic Compagny 1888-1924
Occasion dès 114,00 €
-
Off The Record
Occasion dès 124,97 €
-
Indian Jewelry Making Volume 1
1 avis
Occasion dès 110,00 €
-
Argentina Ruta 40
Occasion dès 99,00 €
-
Abandoned Places
Neuf dès 83,99 €
-
Третьяковская галерея / Galerie Tretiakov
Occasion dès 68,00 €
-
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 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
-
Car Racing 1965
2 avis
Neuf dès 109,00 €
-
Watching Weimar Dance
Neuf dès 94,09 €
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