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
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I eBook par

Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Isil Dillig,Serdar Tasiran
Springer Nature Proceedings Computer Science

Résumé

Catégories

À propos de ce livre

  • Langue :English
  • ISBN :9783030255404
  • Date de parution :12 juil. 2019
  • Éditeur :Springer International Publishing
  • Marque éditoriale :Springer
  • Format de fichier :EPUB3
  • Taille de fichier :39.61 MB
  • Options de téléchargement :EPUB3 (Adobe DRM)

Dans cette série

Ignorer la liste

Computer Aided Verification

Isil Dillig,Serdar Tasiran