Dine fortrolighedsindstillinger

Ved at vælge "Accepter alle", giver du Rakuten Kobo og deres partnere tilladelse til at bruge cookies, sporing og lignende teknologier til at indsamle dine personlige data og behandle dem til følgende formål: at drive hjemmesiden og Kobos tjenester og sikre, at de fungerer korrekt, at levere personligt tilpasset indhold til dig på Kobo og annoncere for Kobo på andre platforme, og at måle analyser og analysere, hvordan vores hjemmeside og tjenester bliver brugt. Ellers skal du klikke på "Afvis" nedenfor for at afvise alle ikke-væsentlige formål eller se "Databeskyttelsesindstillinger" for at administrere dine præferencer for hvert formål. Læs vores Databeskyttelsespolitik.

Se privatlivsindstillinger
Spring til hovedindhold
Ønskeliste
Kurv
Opret konto
Har du en konto?Log ind
Computer Aided Verification – 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II E-bog af

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

Synopsis

Kategorier

Om denne bog

  • Sprog:English
  • ISBN:9783031656309
  • Udgivelsesdato:25. jul. 2024
  • Udgiver:Springer Nature Switzerland
  • Tryk:Springer
  • Filformat:EPUB3
  • Filstørrelse:32.19 MB
  • Downloadmuligheder:EPUB3 (Adobe DRM)

I denne serie

Spring denne liste over

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel,Marijn Heule

Computer Aided Verification

Arie Gurfinkel,Vijay Ganesh

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel,Marijn Heule

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