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
Formal Methods and Software Engineering – 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings e-kirja, kirjailijat

Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

e-kirja,e-kirja
Michael Butler,Sylvain Conchon,Fatiha Zaïdi
Springer Nature Proceedings Computer Science

Tiivistelmä

Luokat

Tietoa tästä kirjasta

  • Kieli:English
  • ISBN:9783319254234
  • Julkaisupäivä:19.5.2017
  • Julkaisija:Springer International Publishing
  • Julkaisutiedot:Springer
  • Tiedostomuoto:EPUB2
  • Tiedostokoko:8.35 MB
  • Latausvaihtoehdot:EPUB2 (Adobe DRM)

Tässä sarjassa

Ohita tämä luettelo

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler,Miklos Biro,Klaus-Dieter Schewe,Atif Mashkoor

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler,Alexander Raschke,Thai Son Hoang,Klaus Reichl