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.

Runtime Verification - 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings eBook par

Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

Résumé

À propos de ce livre

  • Langue :English
  • ISBN :9783031742347
  • Date de parution :12 oct. 2024
  • Éditeur :Springer Nature Switzerland
  • Marque éditoriale :Springer
  • Format de fichier :EPUB3
  • Taille de fichier :28.78 MB
  • Options de téléchargement :EPUB3 (Adobe DRM)

Dans cette série

Quantitative Evaluation of Systems

Erika Ábrahám,Marco Paolieri

Theoretical Aspects of Computing – ICTAC 2023

Erika Ábrahám,Clemens Dubslaff,Silvia Lizeth Tapia Tarifa

Integrated Formal Methods

Erika Ábrahám,Marieke Huisman