Nastavení ochrany vašich osobních údajů

Výběrem možnosti „Přijmout vše“ povolujete společnosti Rakuten Kobo a jejím partnerům používat soubory cookie, sledovací a podobné technologie ke shromažďování vašich osobních údajů a jejich zpracování pro následující účely: provozování webových stránek a služeb Kobo a zajištění jejich správného fungování, poskytování personalizovaného obsahu na stránkách Kobo a reklam pro Kobo na jiných platformách, měření analytických údajů a analýza toho, jak jsou naše webové stránky a služby používány. V opačném případě klikněte na „Odmítnout“ níže a odmítněte všechny jiné než základní účely nebo přejděte do Nastavení ochrany osobních údajů a spravujte své předvolby pro jednotlivé účely. Více informací naleznete v našich Ochrana osobních údajů.

Zobrazit nastavení ochrany osobních údajů
Přejít na hlavní obsah
Seznam přání
Košík
Vytvořit účet
Máte účet?Přihlaste se
Formal Methods and Software Engineering – 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings e-kniha od

Formal Methods and Software Engineering

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

elektronická kniha,elektronická kniha
Michael Butler,Sylvain Conchon,Fatiha Zaïdi
Springer Nature Proceedings Computer Science

Synopse

Kategorie

O knize

  • Jazyk:English
  • ISBN:9783319254234
  • Datum vydání:19. 5. 2017
  • Vydavatel:Springer International Publishing
  • Tiráž:Springer
  • Formát souboru:EPUB2
  • Velikost souboru:8.35 MB
  • Možnosti stahování:EPUB2 (Adobe DRM)

V této sérii

Přeskočit tento seznam

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

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

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

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