Formal Methods: Foundations and Applications -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre102,12 €
Produit Neuf
Ou 25,53 € /mois
- Livraison : 3,99 €
- Livré entre le 23 et le 29 juillet
Nos autres offres
-
106,11 €
Produit Neuf
Ou 26,53 € /mois
- Livraison à 0,01 €
- Livré entre le 24 juillet et le 5 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030638818_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: Foundations And Applications Format Broché - Livre Informatique
0 avis sur Formal Methods: Foundations And Applications Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Anders Petersen, Rome
Occasion dès 65,00 €
-
Miyoko Ihara - Misao The Big Mama And Fukumaru The Cat
Occasion dès 65,00 €
-
Oxford Resources For Ib Dp Chemistry: Study Guide
Neuf dès 54,16 €
-
Alice In Wonderland And Through The Looking-Glass (Collector's Edition) (Laminated Hardback With Jacket)
Neuf dès 51,69 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
Gender Trouble
1 avis
Neuf dès 51,92 €
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
Cambridge English Proficiency 2 Student's Book With Answers With Audio
Neuf dès 91,64 €
-
Gilbert Portanier
Neuf dès 141,34 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 72,46 €
-
Culinaria France
Occasion dès 57,00 €
-
500+ Ukrainian Verbs
Neuf dès 69,18 €
-
Liberalism And The Limits Of Justice
Neuf dès 61,74 €
-
Noco Boost Gb40 :
Neuf dès 54,99 €
-
Medieval Military Technology, Second Edition
Neuf dès 62,30 €
-
Rivstart A1 + A2 Textbok
Occasion dès 55,22 €
-
Georgia O'keeffe
Occasion dès 105,99 €
-
English Collocations In Use Intermediate Book With Answers
Neuf dès 58,68 €
-
So Hilft Ihnen Die Blutegeltherapie
Neuf dès 71,94 €
-
Girls, Some Boys, And Other Cookies
Occasion dès 127,99 €
Produits similaires
Présentation Formal Methods: Foundations And Applications Format Broché
- Livre Informatique
Résumé :
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic. The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines. Chapter ?Safety Assurance of a High Voltage Controller for an Industrial Robotic System? is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Sommaire:
Invited Talks.- Formal Verification of Neural Networks?.- Navigating the Universe of Z3 Theory Solvers.- Revisiting Refactoring Mechanics from Tool Developers' Perspective.- Experience Reports.- Safety Assurance of a High Voltage Controller for an Industrial Robotic System.- Statistical Model Checking in Drug Repurposing for Alzheimer's Disease.- Models, Languages and Semantics.- Calculational Proofs in Relational Graphical Linear Algebra.- Modeling Big Data Processing Programs.- Optimization of Timed Scenarios.- Reversal Fuzzy Switch Graphs.- Separation Logic-Based Verification atop a Binary-Compatible Filesystem Model.- Software Product Lines.- Merging Cloned Alloy Models with Colorful Refactorings.- Porting the Software Product Line Refinement Theory to the Coq Proof Assistant.- Safe Evolution of Product Lines using Configuration Knowledge Laws.
Détails de conformité du produit
Personne responsable dans l'UE