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é
Aller au contenu principal
Liste d'envies
Panier
Créer un compte
Compte existant?Connexion
Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings eBook par

Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

e-book,e-book
Michael Butler,Sylvain Conchon,Fatiha Zaïdi
Springer Nature Proceedings Computer Science

Résumé

Catégories

À propos de ce livre

  • Langue :English
  • ISBN :9783319254234
  • Date de parution :19 mai 2017
  • Éditeur :Springer International Publishing
  • Marque éditoriale :Springer
  • Format de fichier :EPUB2
  • Taille de fichier :8.35 MB
  • Options de téléchargement :EPUB2 (Adobe DRM)

Dans cette série

Ignorer la liste

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler,Miklos Biro,Klaus-Dieter Schewe,Atif Mashkoor

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler,Alexander Raschke,Thai Son Hoang,Klaus Reichl