Tools and Algorithms for the Construction and Analysis of Systems -
- Format: Broché Voir le descriptif
79,86 €
Produit Neuf
Ou 19,97 € /mois
- Livraison à 0,01 €
- Livré entre le 26 août et le 11 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030175016_dbm
Nos autres offres
-
62,45 €
Produit Neuf
Ou 15,61 € /mois
- Livraison : 3,99 €
- Livré entre le 26 août et le 2 septembre
Voir le détail de l'annonce -
79,86 €
Produit Neuf
Ou 19,97 € /mois
- Livraison à 0,01 €
- Livré entre le 26 août et le 11 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030175016_dbm
Voir le détail de l'annonce -
79,54 €
Produit Neuf
Ou 19,89 € /mois
- Livraison : 5,00 €
- Livré entre le 26 et le 31 août
Exp¿di¿ en 7 jours ouvr¿s
Voir le détail de l'annonce -
91,43 €
Produit Neuf
Ou 22,86 € /mois
- Livraison à 0,01 €
Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
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 Tools And Algorithms For The Construction And Analysis Of Systems Format Broché - Livre Informatique
0 avis sur Tools And Algorithms For The Construction And Analysis Of Systems Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Concise Oxford English Dictionary 12th Ed
23 avis
Neuf dès 42,95 €
-
The Twilight Saga Deluxe Hardcover Collection
Neuf dès 223,38 €
Occasion dès 85,00 €
-
Living Beautifully In Paris
Occasion dès 61,75 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
19 avis
Occasion dès 44,95 €
-
Nkjv Study Bible, Leathersoft, Brown, Comfort Print
Neuf dès 73,27 €
-
Fix-It Phonics - Level 3 - Student Pack (2nd Edition)
Neuf dès 59,72 €
-
Warhammer Invasion: Bleeding Sun Battle Pack
Neuf dès 55,00 €
-
Mauvais Garçons - Portraits De Tatoués (1890-1930)
4 avis
Neuf dès 35,00 €
Occasion dès 33,25 €
-
Open World First Student's Book Without Answers With Online Practice
Neuf dès 74,40 €
Occasion dès 117,61 €
-
Ugaritic Narrative Poetry
Neuf dès 42,02 €
-
Elvis Presley On Tour Livre Usa 120 Pages 240 Photos Inedites ! Rare!
Occasion dès 59,00 €
-
Mastering Pot-Limit Omaha
Neuf dès 35,70 €
-
No Time To Die: The Making Of The Film
Neuf dès 59,98 €
-
Bikablo 2.0
Occasion dès 35,10 €
-
Annales Corrigées Du Concours Enac Gsea/Tseeac
Occasion dès 31,50 €
-
Guillermo Kuitca: Everything
Occasion dès 42,00 €
-
Magical Imagination
Neuf dès 37,35 €
-
Columbo Under Glass - A Critical Analysis Of The Cases, Clues And Character Of The Good Lieutenant (Hardback)
Neuf dès 64,74 €
-
Ellen Von Unwerth: Revenge
1 avis
Neuf dès 56,17 €
-
Le Jardin Parfumé
Occasion dès 55,50 €
Produits similaires
Présentation Tools And Algorithms For The Construction And Analysis Of Systems Format Broché
- Livre Informatique
Résumé :
This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS.
Sommaire: TOOLympics 2019: An Overview of Competitions in Formal Methods.- Confluence Competion 2019.- International Competition on Runtime Verification (CRV).- The Model Checking Contest (2019).- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models.- The Rewrite Engines Competitions: A RECtrospective.- RERS 2019: Combining Synthesis with Real-World Models.- SL-COMP: Competition of Solvers for Separation Logic.- Automatic Verification of C and Java Programs: SV-COMP 2019.- The Termination and Complexity Competition.- Competition on Software Testing (Test-Comp).- VerifyThis - Verification Competition with a Human Factor.- SV-COMP 2019.- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution).- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution).- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution).- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution).- JayHorn: A Java Model Checker (Competition Contribution).- Java Pathfinder at SV-COMP 2019.- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution).- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution).- Symbolic Pathfinder for SV-COMP.- VeriFuzz: Program Aware Fuzzing.- VIAP 1.1 (Competition Contribution).
Détails de conformité du produit
Personne responsable dans l'UE