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ů.

Computer Aided Verification – 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II e-kniha od

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

Synopse

O knize

  • Jazyk:English
  • ISBN:9783030816889
  • Datum vydání:23. 2. 2022
  • Vydavatel:Springer International Publishing
  • Tiráž:Springer
  • Formát souboru:EPUB3
  • Velikost souboru:74.55 MB
  • Možnosti stahování:EPUB3 (Adobe DRM)

V této sérii

Language, Logic, and Computation

Alexandra Silva,Sam Staton,Peter Sutton,Carla Umbach

Logic, Language, Information, and Computation

Alexandra Silva,Renata Wassermann,Ruy de Queiroz

Computer Aided Verification

Alexandra Silva,K. Rustan M. Leino