Tools and Algorithms for the Construction and Analysis of Systems -
- Format: Broché
- 288 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreLivre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours
- 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 de Collectif Format Broché - Livre Informatique
0 avis sur Tools And Algorithms For The Construction And Analysis Of Systems de Collectif Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Chamäleon : La Grammaire Allemande Sur Le Bout De La Langue - 137 Rappels, 323 Exercices Et Corrigés
1 avis
Neuf dès 22,40 €
-
Vues De Paris À L'aquarelle - Ouvrage Bilingue
4 avis
Neuf dès 19,00 €
-
Civilisation Des Etats-Unis
Neuf dès 25,90 €
Occasion dès 13,40 €
-
Michel Vaillant Le Fantôme Des 24 Heures
Occasion dès 19,88 €
-
Designing Creatures And Characters
Neuf dès 40,68 €
Occasion dès 35,00 €
-
40 Leçons Pour Parler Italien (2 Cd Audio)
4 avis
Neuf dès 29,90 €
Occasion dès 16,00 €
-
La Mort De Radiguet. Yukio Mishima. Bilingue. Gallimard. Traduit Du Japonais Par Dominique Palme.(2012)
2 avis
Occasion dès 28,00 €
-
Fichte, Reden An Die Deutsche Nation
Neuf dès 21,00 €
-
Fiches De Civilisation Américaine Et Britannique
Neuf dès 26,50 €
Occasion dès 21,00 €
-
The Reconstruction Of Nations
Neuf dès 30,09 €
-
Civilisation Britannique
1 avis
Neuf dès 24,90 €
-
Joi Travalh E Soufransa De Ma Gent Biografie Di Anziani Delle Valli Cluuzoun E Sanmartin
Occasion dès 34,00 €
-
Anglais Spécial Toeic - Cahier De Vacances
Occasion dès 30,59 €
-
Record Of Lodoss War Illustrations
2 avis
Occasion dès 20,00 €
-
Handling The Big Jets
Neuf dès 65,05 €
Occasion dès 32,84 €
-
Zen Flesh, Zen Bones
Neuf dès 20,10 €
-
A Guide To The Project Management Body Of Knowledge (Pmbok® Guide) ? Seventh Edition And The Standard For Project Management (English)
Neuf dès 23,40 €
-
Professional English In Use Engineering - Technical English For Professionals
Neuf dès 52,95 €
Occasion dès 29,99 €
-
Les Ephesiaques, Ou Le Roman D'habrocombes Et D'anthia
Occasion dès 30,90 €
-
Le Livre D'hénoch: Le Manuscrit Apocryphe Interdit De La Bible - Anges Déchus, Géants Nephilim Et Les Secrets D'enoch Illustré (French Edition)
Occasion dès 31,99 €
Produits similaires
Présentation Tools And Algorithms For The Construction And Analysis Of Systems de Collectif Format Broché
- Livre InformatiqueAuteur(s) : CollectifEditeur : Springer International Publishing AgLangue : AnglaisParution : 01/04/2019Format : Moyen, de 350g à 1kgNombre de pages : 288Expédition : 441Dimensions : 23.5 x...
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