Il s'agit de notre librairie Canada.

Il semble que vous résidiez au États-Unis. Vous devez avoir une adresse aux Canada pour effectuer des achats dans notre librairie Canada. Rendez-vous sur notre librairie États-Unis pour continuer.

Accéder à la librairie États-UnisChoisir une autre librairie
Aller au contenu principal
Liste d'envies
Panier
Créer un compte
Compte existant?Connexion
Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers eBook par

Numerical Software Verification

9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Sergiy Bogomolov,Matthieu Martel,Pavithra Prabhakar
Springer Nature Proceedings Computer Science

Résumé

Catégories

À propos de ce livre

  • Langue :English
  • ISBN :9783319542928
  • Date de parution :17 févr. 2017
  • Éditeur :Springer International Publishing
  • Marque éditoriale :Springer
  • Format de fichier :EPUB2
  • Taille de fichier :1.51 MB
  • Options de téléchargement :EPUB2 (Adobe DRM)

Dans cette série

Ignorer la liste

Formal Modeling and Analysis of Timed Systems

Sergiy Bogomolov,David Parker