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
Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers eBook par

Software Verification

13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

Roderick Bloem,Rayna Dimitrova,Chuchu Fan,Natasha Sharygina
Springer Nature Proceedings Computer Science

Résumé

Catégories

À propos de ce livre

  • Langue :English
  • ISBN :9783030955618
  • Date de parution :11 janv. 2024
  • Éditeur :Springer International Publishing
  • Marque éditoriale :Springer
  • Format de fichier :EPUB3
  • Taille de fichier :20.83 MB
  • Options de téléchargement :EPUB3 (Adobe DRM)

Dans cette série

Ignorer la liste

Hardware and Software: Verification and Testing

Roderick Bloem,Eli Arbel