Uw privacy-instellingen

Door 'Alles accepteren' te selecteren, geef je Rakuten Kobo en hun partners toestemming om cookies, tracking en vergelijkbare technologieën te gebruiken om je persoonsgegevens te verzamelen en te verwerken voor de volgende doeleinden: om de website en Kobo-diensten te beheren en ervoor te zorgen dat deze goed werken, om je gepersonaliseerde content op Kobo en advertenties voor Kobo op andere platforms te bieden en om analyses uit te voeren en te analyseren hoe onze website en diensten worden gebruikt. Klik hieronder anders op 'Weigeren' om alle niet-essentiële doeleinden te weigeren of bekijk de 'Privacy-instellingen' om je voorkeuren voor elk doel te beheren. Lees voor meer informatie ons Privacybeleid

Bekijk privacy-instellingen
Runtime Verification - 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings eBook door

Runtime Verification

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

Synopsis

Over dit boek

  • Taal:English
  • ISBN:9783031742347
  • Lanceringsdatum:12 okt 2024
  • Uitgever:Springer Nature Switzerland
  • Imprint:Springer
  • Bestandsformaat:EPUB3
  • Bestandsgrootte:28.78 MB
  • Downloadopties:EPUB3 (Adobe DRM)

In deze serie

Quantitative Evaluation of Systems

Erika Ábrahám,Marco Paolieri

Integrated Formal Methods

Erika Ábrahám,Marieke Huisman

Theoretical Aspects of Computing – ICTAC 2023

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