110,31 €
Produit Neuf
Ou 27,58 € /mois
- Livraison : 3,99 €
- Livré entre le 30 juillet et le 5 août
Nos autres offres
-
114,30 €
Produit Neuf
Ou 28,58 € /mois
- Livraison à 0,01 €
- Livré entre le 31 juillet et le 12 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783032054340_dbm
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 Runtime Verification de Format Broché - Livre Informatique
0 avis sur Runtime Verification de 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 €
-
Bilingue 2000 - Lexique Thématique De L'italien Contemporain, Lessico Tematico Del Francese Contemporaneo
2 avis
Occasion dès 58,05 €
-
Car Racing 1968
2 avis
Neuf dès 109,00 €
-
L'allemand Facile Par J. Chassard Et G. Weil. Classe De 4è. Nouvelle Édition. 1967.
Occasion dès 70,00 €
-
Monster Hunter: World - Official Complete Works
1 avis
Neuf dès 58,42 €
-
Hans Urs Von Balthasar (1905-1988)
Occasion dès 63,20 €
-
Environmental Psychology
Neuf dès 63,50 €
-
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 €
-
Project Management For Engineers
Neuf dès 69,48 €
-
Ann Lowe
Neuf dès 67,09 €
-
The Wine Trade In Medieval Europe 1000-1500
Neuf dès 79,17 €
-
Les Trains Blindes: De 1825 À Nos Jours
2 avis
Neuf dès 64,00 €
-
Just Enough Software Architecture: A Risk-Driven Approach
Occasion dès 119,99 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
Abandoned Places
Neuf dès 83,99 €
-
Indian Jewelry Making Volume 1
Occasion dès 110,00 €
-
Les Plantes Tropicales À Épices
Occasion dès 57,01 €
-
Argentina Ruta 40
Occasion dès 99,00 €
Produits similaires
Présentation Runtime Verification de Format Broché
- Livre Informatique
Résumé :
This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during September 15&ndash...
Biographie:
The RV conference focuses on all aspects of formal methods for monitoring, analyzing, and guiding the runtime behavior of software and hardware systems. Runtime verification techniques are essential for ensuring system correctness, reliability, and robustness. They offer an additional layer of rigor and effectiveness beyond conventional testing and are often more practical than exhaustive formal verification.
...Sommaire:
19, 2025. The 22 regular papers, 1 short paper, 2 tool papers, and 1 tutorial paper included in this book were carefully reviewed and selected from 64 submissions. The RV conference focuses on all aspects of formal methods for monitoring, analyzing, and guiding the runtime behavior of software and hardware systems. Runtime verification techniques are essential for ensuring system correctness, reliability, and robustness. They offer an additional layer of rigor and effectiveness beyond conventional testing and are often more practical than exhaustive formal verification....
Détails de conformité du produit
Personne responsable dans l'UE