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.

Computer Aided Verification – 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II e-bok av

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

Sammendrag

Om denne boken

  • Språk:English
  • ISBN:9783030816889
  • Utgivelsesdato:23. feb. 2022
  • Forlag:Springer International Publishing
  • Trykk:Springer
  • Filformat:EPUB3
  • Filstørrelse:74.55 MB
  • Nedlastingsalternativer:EPUB3 (Adobe DRM)

I denne serien

Logic, Language, Information, and Computation

Alexandra Silva,Renata Wassermann,Ruy de Queiroz

Language, Logic, and Computation

Alexandra Silva,Sam Staton,Peter Sutton,Carla Umbach

Computer Aided Verification

Alexandra Silva,K. Rustan M. Leino