Atjaunināt sīkdatņu piekrišanu

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 2124, 2020, Proceedings, Part I 1st ed. 2020 [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 669 pages, height x width: 235x155 mm, weight: 1038 g, 117 Illustrations, color; 499 Illustrations, black and white; XVII, 669 p. 616 illus., 117 illus. in color., 1 Paperback / softback
  • Sērija : Theoretical Computer Science and General Issues 12224
  • Izdošanas datums: 16-Jul-2020
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030532879
  • ISBN-13: 9783030532871
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 37,98 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 44,69 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 2124, 2020, Proceedings, Part I 1st ed. 2020Palielināt
  • Formāts: Paperback / softback, 669 pages, height x width: 235x155 mm, weight: 1038 g, 117 Illustrations, color; 499 Illustrations, black and white; XVII, 669 p. 616 illus., 117 illus. in color., 1 Paperback / softback
  • Sērija : Theoretical Computer Science and General Issues 12224
  • Izdošanas datums: 16-Jul-2020
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030532879
  • ISBN-13: 9783030532871
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783030532871.html
Keywords:
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*





The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections:









Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.









Part II: model checking; software verification; stochastic systems; and synthesis.





*The conference was held virtually due to the COVID-19 pandemic.

AI Verification.- Blockchain and Security.- Hardware Veri cation and Decision Procedures.- Hybrid and Dynamic Systems.