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
Zum Hauptinhalt springen
Wunschzettel
Warenkorb
Konto einrichten
Haben Sie ein Konto?Anmelden
Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II eBook nach

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

Arie Gurfinkel,Vijay Ganesh
Springer Nature Proceedings Computer Science

Kurzbeschreibung

Kategorien

Zu diesem Buch

  • Sprache:English
  • ISBN:9783031656309
  • Erscheinungsdatum:24. Juli 2024
  • Herausgeber:Springer Nature Switzerland
  • Imprint:Springer
  • Dateiformat:EPUB3
  • Dateigröße:32.19 MB
  • Downloadoptionen:EPUB3 (Adobe DRM)

In dieser Reihe

Diese Liste überspringen

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel,Marijn Heule

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel,Marijn Heule

Computer Aided Verification

Arie Gurfinkel,Vijay Ganesh

Verified Software: Theories, Tools, and Experiments

Arie Gurfinkel,Sanjit A. Seshia

Computer Aided Verification

Arie Gurfinkel,Vijay Ganesh

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel,Marijn Heule