89,73 €
Produit Neuf
Ou 22,43 € /mois
- Livraison à 0,01 €
- Livré entre le 28 août et le 14 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030549930_dbm
Nos autres offres
-
85,74 €
Produit Neuf
Ou 21,44 € /mois
- Livraison : 3,99 €
- Livré entre le 28 août et le 3 septembre
Voir le détail de l'annonce -
89,73 €
Produit Neuf
Ou 22,43 € /mois
- Livraison à 0,01 €
- Livré entre le 28 août et le 14 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030549930_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 Formal Methods. Fm 2019 International Workshops Format Broché - Livre Informatique
0 avis sur Formal Methods. Fm 2019 International Workshops Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Ephemerides 1950-2050 Ut For 0h International Edition
19 avis
Occasion dès 44,95 €
-
Living Beautifully In Paris
Occasion dès 61,75 €
-
Hitman By Garth Ennis And John Mccrea Omnibus Vol. 2
Neuf dès 114,69 €
-
Investments
Neuf dès 106,09 €
-
Beyond Fantasy : The Art Of Darrell K. Sweet
Occasion dès 100,00 €
-
Homère, Iliade, Texte Grec Et Traduction Française, Coll. Guillaume Budé, Édition Des Belles Lettres, Tomes I À Iv
Occasion dès 50,00 €
-
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 €
-
The Lives Of Seaweeds
Neuf dès 49,86 €
-
Open World First Student's Book Without Answers With Online Practice
Neuf dès 73,91 €
Occasion dès 117,61 €
-
Saints At The Limits
Neuf dès 54,44 €
-
Vandals: The Photography Of The Bikeriders
Neuf dès 52,09 €
-
Concise Oxford English Dictionary 12th Ed
23 avis
Neuf dès 42,95 €
-
Remembering The Kanji Vol.I
Neuf dès 109,82 €
-
Magasin Général, Integrale De Tomes 8 & 9. Les Femmes / Notre Dame Des Lacs
Occasion dès 50,00 €
-
Nkjv Study Bible, Leathersoft, Brown, Comfort Print
Neuf dès 73,27 €
-
Design For Motion
Neuf dès 104,46 €
-
Ellen Von Unwerth: Revenge
1 avis
Neuf dès 56,17 €
-
Le Jardin Parfumé
Occasion dès 55,50 €
-
Méthode Assimil Espagnol 4cd Et 1 Livre
Occasion dès 56,00 €
Produits similaires
Présentation Formal Methods. Fm 2019 International Workshops Format Broché
- Livre Informatique
Résumé :
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019.
Sommaire: AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability.- DataMod 2019: 8th International Symposium From Data to Models and Back.- FMAS 2019: First Formal Methods for Autonomous Systems Workshop.- FMBC 2019: First Workshop on Formal Methods for Blockchains.- FMIS 2019: 8th International Workshop on Formal Methods for Interactive Systems.
Détails de conformité du produit
Personne responsable dans l'UE