Articles liés à Verification, Model Checking, and Abstract Interpretation:...
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings - Couverture souple
L'édition de cet ISBN n'est malheureusement plus disponible.
Synopsis
Program verification.- Model checking.- Abstract interpretation.- Program synthesis.- Static analysis.- Type systems.- Deductive methods.- Program certification.- Decision procedures.- Theorem proving.- Program certification.- Debugging techniques.- Program transformation.- Optimization.- Hybrid and cyber-physical systems.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2019
- ISBN 10 3030112462
- ISBN 13 9783030112462
- ReliurePaperback
- Langueanglais
- Coordonnées du fabricantnon disponible
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
