Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Computer Aided Verification
- 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III
Engelsk Paperback
Computer Aided Verification
- 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III
Engelsk Paperback

383 kr
Tilføj til kurv
Sikker betaling
6 - 8 hverdage

Om denne bog
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions.
Product detaljer
Sprog:
Engelsk
Sider:
502
ISBN-13:
9783031377082
Indbinding:
Paperback
Udgave:
ISBN-10:
3031377087
Kategori:
Udg. Dato:
17 jul 2023
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer International Publishing AG
Oplagsdato:
17 jul 2023
Forfatter(e):
Vi anbefaler også
Kategori sammenhænge