Tietosuoja-asetukset

Valitsemalla "Hyväksy kaikki" annat Rakuten Kobolle ja sen yhteistyökumppaneille luvan käyttää evästeitä, seurantaa ja muita vastaavia tekniikoita henkilötietojesi keräämiseen ja käsittelyyn seuraaviin tarkoituksiin: verkkosivuston ja Kobo-palveluiden toiminnan varmistaminen, henkilökohtaisen sisällön tarjoaminen sinulle Kobossa ja Koboa koskevien mainosten näyttäminen muilla alustoilla sekä analytiikan mittaaminen ja analysointi siitä, miten verkkosivustoamme ja palveluitamme käytetään. Muussa tapauksessa klikkaa alla olevaa "Hylkää"-painiketta hylätäksesi kaikki ei-välttämättömät tarkoitukset tai katso "Tietosuoja-asetukset" hallitaksesi asetuksiasi kullekin tarkoitukselle. Saat lisätietoja lukemalla Tietosuojakäytäntö.

Näytä tietosuoja-asetukset
Siirry pääsisältöön
Toiveluettelo
Ostoskori
Luo tili
Jo tili?Kirjaudu sisään
Computer Aided Verification – 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I e-kirja, kirjailijat

Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Shuvendu K. Lahiri,Chao Wang
Springer Nature Proceedings Computer Science

Tiivistelmä

Luokat

Tietoa tästä kirjasta

  • Kieli:English
  • ISBN:9783030532888
  • Julkaisupäivä:23.2.2022
  • Julkaisija:Springer International Publishing
  • Julkaisutiedot:Springer
  • Tiedostomuoto:EPUB3
  • Tiedostokoko:40.81 MB
  • Latausvaihtoehdot:EPUB3 (Adobe DRM)

Tässä sarjassa

Ohita tämä luettelo

Computer Aided Verification

Shuvendu K. Lahiri,Chao Wang

Automated Technology for Verification and Analysis

Shuvendu K. Lahiri,Chao Wang