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 – 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II e-kirja, kirjailijat

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

e-kirja,e-kirja,e-kirja
Daniel Kroening,Corina S. Păsăreanu
Springer Nature Proceedings Computer Science

Tiivistelmä

Luokat

Tietoa tästä kirjasta

  • Kieli:English
  • ISBN:9783319216683
  • Julkaisupäivä:14.7.2015
  • Julkaisija:Springer International Publishing
  • Julkaisutiedot:Springer
  • Tiedostomuoto:EPUB2
  • Tiedostokoko:7.90 MB
  • Latausvaihtoehdot:EPUB2 (Adobe DRM)

In this series

Ohita tämä luettelo

Computer Aided Verification

Daniel Kroening,Corina S. Păsăreanu