Dine personverninnstillinger

Ved å velge «Godta alle» tillater du at Rakuten Kobo og deres partnere bruker informasjonskapsler, sporingsteknologi og lignende teknologier for å samle inn personopplysningene dine og behandle dem til følgende formål: å drive nettstedet og Kobo-tjenestene og sikre at de fungerer som de skal, å levere personlig tilpasset innhold til deg på Kobo og annonser for Kobo på andre plattformer og å måle statistikk og analysere hvordan nettstedet vårt og tjenestene våre brukes. Hvis ikke kan du klikke på «Avvis» nedenfor for å avvise alle ikke-essensielle formål, eller se «Personverninnstillinger» for å administrere preferansene dine for hvert formål. Les Personvernerklæring vår for å få mer informasjon.

Se personverninnstillinger
Spring til hovedinnhold
Ønskeliste
Handlekurv
Opprett konto
Har du en konto?Logg på
Computer Aided Verification – 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II e-bok av

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

Sammendrag

Kategorier

Om denne boken

  • Språk:English
  • ISBN:9783031656309
  • Utgivelsesdato:25. juli 2024
  • Forlag:Springer Nature Switzerland
  • Trykk:Springer
  • Filformat:EPUB3
  • Filstørrelse:32.19 MB
  • Nedlastingsalternativer:EPUB3 (Adobe DRM)

I denne serien

Hopp over denne listen

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