Vos paramètres de confidentialité

En sélectionnant «Tout accepter», vous autorisez RakutenKobo et ses partenaires à utiliser des cookies, des technologies de suivi et des technologies similaires pour collecter vos données personnelles et les traiter aux fins suivantes: exploiter le site Web et les services Kobo et s'assurer qu'ils fonctionnent correctement, vous fournir du contenu personnalisé sur Kobo et des publicités pour Kobo sur d'autres plateformes, et mesurer les analyses et analyser comment notre site Web et nos services sont utilisés. Sinon, veuillez cliquer sur «Refuser» ci-dessous pour rejeter toutes les finalités non essentielles ou consulter les «Paramètres de confidentialité» pour gérer vos préférences pour chaque finalité. Pour plus d'informations, veuillez lire notre Politique de confidentialité.

Voir paramètres de confidentialitéVoir paramètres de confidentialité

Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings eBook par

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Erika Ábrahám,Marieke Huisman

Springer Nature Proceedings Computer Science

Résumé

Catégories

À propos de ce livre

Langue :English
ISBN :9783319336930
Date de parution :5 juil. 2016
Éditeur :Springer International Publishing

Marque éditoriale :Springer
Format de fichier :EPUB2
Taille de fichier :7.30 MB
Options de téléchargement :EPUB2 (Adobe DRM)

Dans cette série

Quantitative Evaluation of Systems - eBook par Erika Ábrahám,Marco Paolieri

Quantitative Evaluation of Systems

Erika Ábrahám,Marco Paolieri

Runtime Verification - eBook par Erika Ábrahám,Houssam Abbas

Runtime Verification

Erika Ábrahám,Houssam Abbas

Theoretical Aspects of Computing – ICTAC 2023 - eBook par Erika Ábrahám,Clemens Dubslaff,Silvia Lizeth Tapia Tarifa

Theoretical Aspects of Computing – ICTAC 2023

Erika Ábrahám,Clemens Dubslaff,Silvia Lizeth Tapia Tarifa