Tools and Algorithms for the Construction and Analysis of Systems -
- Format: Broché Voir le descriptif
73,35 €
Produit Neuf
Ou 18,34 € /mois
- Livraison à 0,01 €
- Livré entre le 27 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;ria9783030451899_dbm
Nos autres offres
-
69,36 €
Produit Neuf
Ou 17,34 € /mois
- Livraison : 3,99 €
- Livré entre le 27 août et le 2 septembre
Voir le détail de l'annonce -
73,35 €
Produit Neuf
Ou 18,34 € /mois
- Livraison à 0,01 €
- Livré entre le 27 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;ria9783030451899_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 Tools And Algorithms For The Construction And Analysis Of Systems de Format Broché - Livre Informatique
0 avis sur Tools And Algorithms For The Construction And Analysis Of Systems de Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Living Beautifully In Paris
Occasion dès 61,75 €
-
Fix-It Phonics - Level 3 - Student Pack (2nd Edition)
Neuf dès 59,72 €
-
Concise Oxford English Dictionary 12th Ed
23 avis
Neuf dès 42,95 €
-
English Grammar In Use - With Answers & Ebook
3 avis
Occasion dès 39,30 €
-
Warhammer Invasion: Bleeding Sun Battle Pack
Neuf dès 55,00 €
-
The Lives Of Seaweeds
Neuf dès 49,86 €
-
Open World First Student's Book Without Answers With Online Practice
Neuf dès 74,40 €
Occasion dès 117,61 €
-
Saints At The Limits
Neuf dès 54,44 €
-
The Twilight Saga Deluxe Hardcover Collection
Neuf dès 223,38 €
Occasion dès 85,00 €
-
Vandals: The Photography Of The Bikeriders
Neuf dès 52,09 €
-
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 €
-
101 Things I Learned In Architecture School
Neuf dès 36,74 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
19 avis
Occasion dès 44,95 €
-
Guillermo Kuitca: Everything
Occasion dès 42,00 €
-
Magical Imagination
Neuf dès 37,35 €
-
Nkjv Study Bible, Leathersoft, Brown, Comfort Print
Neuf dès 73,27 €
-
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 de Format Broché
- Livre Informatique
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...
Biographie:
Timed and Dynamical Systems...
Sommaire:
SAT and SMT...
Détails de conformité du produit
Personne responsable dans l'UE