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
Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings eBook par

Runtime Verification

19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Bernd Finkbeiner,Leonardo Mariani
Springer Nature Proceedings Computer Science

Résumé

Catégories

À propos de ce livre

  • Langue :English
  • ISBN :9783030320799
  • Date de parution :5 oct. 2019
  • Éditeur :Springer International Publishing
  • Marque éditoriale :Springer
  • Format de fichier :EPUB3
  • Taille de fichier :22.06 MB
  • Options de téléchargement :EPUB3 (Adobe DRM)

Dans cette série

Ignorer la liste

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner,Thomas Wies

Automated Technology for Verification and Analysis

Bernd Finkbeiner,Geguang Pu,Lijun Zhang

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner,Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner,Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner,Laura Kovács