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

Vizualizați setările de confidențialitate
Sari la conținut principal
Lista de dorințe
Coș
Creare cont
Aveți un cont?Conectare
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II Cărți electronice de

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

carte electronică,carte electronică,carte electronică,carte electronică
Daniel Kroening,Corina S. Păsăreanu
Springer Nature Proceedings Computer Science

Rezumat

Categorii

Despre această carte

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

În această serie

Sari peste această listă

Computer Aided Verification

Daniel Kroening,Corina S. Păsăreanu