Ihre Datenschutzeinstellungen

Indem Sie „Alle akzeptieren“ auswählen, erlauben Sie Rakuten Kobo und seinen Partnern, Cookies, Tracking- und ähnliche Technologien zu verwenden, um Ihre persönlichen Daten zu erfassen und für folgende Zwecke zu verarbeiten: um die Website und die Kobo-Dienste zu betreiben und sicherzustellen, dass sie ordnungsgemäß funktionieren, um Ihnen personalisierte Inhalte auf Kobo und Werbung für Kobo auf anderen Plattformen bereitzustellen und um Analysen zu messen und zu analysieren, wie unsere Website und Dienste genutzt werden. Klicken Sie andernfalls auf „Ablehnen“, um alle nicht zwingend erforderlichen Zwecke abzulehnen, oder rufen Sie „Datenschutzeinstellungen“ auf, um Ihre Einstellungen für jeden Zweck zu verwalten. Für weitere Informationen lesen Sie bitte unsere Datenschutzrichtlinie.

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

Runtime Verification

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

Kurzbeschreibung

Zu diesem Buch

  • Sprache:English
  • ISBN:9783031742347
  • Erscheinungsdatum:12. Okt. 2024
  • Herausgeber:Springer Nature Switzerland
  • Imprint:Springer
  • Dateiformat:EPUB3
  • Dateigröße:28.78 MB
  • Downloadoptionen:EPUB3 (Adobe DRM)

In dieser Reihe

Integrated Formal Methods

Erika Ábrahám,Marieke Huisman

Theoretical Aspects of Computing – ICTAC 2023

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

Quantitative Evaluation of Systems

Erika Ábrahám,Marco Paolieri