Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv

Computer Aided Verification

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

Computer Aided Verification

- 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
Engelsk Paperback
Tjek vores konkurrenters priser
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.

The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:

Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.

Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.

Tjek vores konkurrenters priser
Normalpris
kr 383
Fragt: 39 kr
6 - 8 hverdage
20 kr
Pakkegebyr
God 4 anmeldelser på
Tjek vores konkurrenters priser
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.

The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:

Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.

Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.

Produktdetaljer
Sprog: Engelsk
Sider: 940
ISBN-13: 9783030816872
Indbinding: Paperback
Udgave:
ISBN-10: 3030816877
Kategori: Softwareudvikling
Udg. Dato: 17 jul 2021
Længde: 0mm
Bredde: 155mm
Højde: 235mm
Forlag: Springer Nature Switzerland AG
Oplagsdato: 17 jul 2021
Forfatter(e):
Forfatter(e)


Kategori Softwareudvikling


ISBN-13 9783030816872


Sprog Engelsk


Indbinding Paperback


Sider 940


Udgave


Længde 0mm


Bredde 155mm


Højde 235mm


Udg. Dato 17 jul 2021


Oplagsdato 17 jul 2021


Forlag Springer Nature Switzerland AG

Kategori sammenhænge