Setările dvs. de confidențialitate

Selectând „Acceptă toate”, permiți Rakuten Kobo și partenerilor săi să utilizeze module cookie, tehnologii de urmărire și tehnologii similare pentru a colecta datele tale cu caracter personale și a le prelucra în următoarele scopuri: pentru a opera site-ul și serviciile Kobo și a asigura funcționarea corectă a acestora, pentru a-ți oferi conținut personalizat pe Kobo și reclame pentru Kobo pe alte platforme, precum și pentru a măsura analizele și a analiza modul în care sunt utilizate site-ul și serviciile noastre. În caz contrar, dă clic pe „Refuz” mai jos pentru a respinge toate scopurile neesențiale sau consultă „Setările de confidențialitate” pentru a-ți gestiona preferințele pentru fiecare scop. Pentru mai multe informații, citește Politica de confidențialitate.​

Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II Cărți electronice de

Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

carte electronică,carte electronică,carte electronică

Rezumat

Despre această carte

  • Limbă:English
  • ISBN:9783319633909
  • Data lansării:14 iul. 2017
  • Editura:Springer International Publishing
  • Casetă tehnică:Springer
  • Formatul fișierului:EPUB2
  • Dimensiunea fișierului:11.26 MB
  • Opțiuni de descărcare:EPUB2 (Adobe DRM)

În această serie

Computer Aided Verification

Rupak Majumdar,Viktor Kunčak