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
Lectures on Runtime Verification – Introductory and Advanced Topics e-kirja, kirjailijat

Lectures on Runtime Verification

Introductory and Advanced Topics

Ezio Bartocci,Yliès Falcone
Computer Science (R0)

Tiivistelmä

Luokat

Tietoa tästä kirjasta

  • Kieli:English
  • ISBN:9783319756325
  • Julkaisupäivä:11.2.2018
  • Julkaisija:Springer International Publishing
  • Julkaisutiedot:Springer
  • Tiedostomuoto:EPUB2
  • Tiedostokoko:2.58 MB
  • Latausvaihtoehdot:EPUB2 (Adobe DRM)

In this series

Ohita tämä luettelo

From Reactive Systems to Cyber-Physical Systems

Ezio Bartocci,Rance Cleaveland,Radu Grosu,Oleg Sokolsky

Formal Methods in Outer Space

Ezio Bartocci,Yliès Falcone,Martin Leucker