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
Computer Aided Verification – 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II E-bog af

Computer Aided Verification

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

Synopsis

Om denne bog

  • Sprog:English
  • ISBN:9783030816889
  • Udgivelsesdato:23. feb. 2022
  • Udgiver:Springer International Publishing
  • Tryk:Springer
  • Filformat:EPUB3
  • Filstørrelse:74.55 MB
  • Downloadmuligheder:EPUB3 (Adobe DRM)

I denne serie

Language, Logic, and Computation

Alexandra Silva,Sam Staton,Peter Sutton,Carla Umbach

Logic, Language, Information, and Computation

Alexandra Silva,Renata Wassermann,Ruy de Queiroz

Computer Aided Verification

Alexandra Silva,K. Rustan M. Leino