Tools and Algorithms for the Construction and Analysis of Systems -
- Format: Broché
- 528 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre44,80 €
Produit Neuf
Ou 11,20 € /mois
- Livraison à 0,01 €
- Livré entre le 4 et le 7 août
Livre 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 Format Broché - Livre Informatique
0 avis sur Tools And Algorithms For The Construction And Analysis Of Systems 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 €
-
Cricut Joy
Neuf dès 51,50 €
Occasion dès 100,00 €
-
Building With Straw Bales: A Practical Manual For Self-Builders And Architects Volume 6
Neuf dès 39,76 €
-
Le Livre D'urantia
Occasion dès 50,00 €
-
Century Series In Color (F-100 Super Sabre; F-101 Voodoo; F-102 Delta Dagger; F-104 Starfighter; F-105 Thunderchief; F-106 Delta Dart) - Fighting Colors Series (6501)
Occasion dès 54,82 €
-
7: - Best Karate 7: Jitte,Hangetsu, Empi
Occasion dès 53,35 €
-
Noah Davis
1 avis
Neuf dès 57,36 €
-
Initiation
Occasion dès 48,99 €
-
Valency And Bonding
Neuf dès 59,51 €
-
Civilisation Des Etats-Unis
Neuf dès 25,90 €
-
Designing Creatures And Characters
Neuf dès 40,68 €
Occasion dès 35,00 €
-
Peugeot 206 Petrol & Diesel (98 - 01) Haynes Repair Manual
Neuf dès 40,97 €
-
La Mort De Radiguet. Yukio Mishima. Bilingue. Gallimard. Traduit Du Japonais Par Dominique Palme.(2012)
2 avis
Occasion dès 28,00 €
-
The Reconstruction Of Nations
Neuf dès 30,09 €
-
A Companion To The Cantos Of Ezra Pound
Neuf dès 48,81 €
Occasion dès 50,80 €
-
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 €
-
The Class Struggle In The Ancient Greek World
Neuf dès 39,09 €
-
Handling The Big Jets
Neuf dès 65,05 €
Occasion dès 32,84 €
Produits similaires
Présentation Tools And Algorithms For The Construction And Analysis Of Systems Format Broché
- Livre InformatiqueEditeur : Springer International PublishingLangue : AnglaisParution : 01/04/2020Format : Moyen, de 350g à 1kgNombre de pages : 528Expédition : 791Dimensions : 23.5 x 15.5 x 2.9 ...
Résumé :
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
Sommaire: Program Verification.- SAT and SMT.- Timed and Dynamical Systems.- Verifying Concurrent Systems.- Probabilistic Systems.- Model Checking and Reachability.- Timed and Probabilistic Systems.
Détails de conformité du produit
Personne responsable dans l'UE