Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Computer Aided Verification
- 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I
Engelsk
Bogcover for Computer Aided Verification af , 9783031377051
Specifikationer
Sprog:
Engelsk
Sider:
488
ISBN-13:
9783031377051
Indbinding:
Paperback
ISBN-10:
3031377052
Kategori:
Udg. Dato:
17 jul 2023
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
17 jul 2023

Computer Aided Verification

- 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I
Engelsk
Paperback 2023
Format:

Bog beskrivelse
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.
... Vis mere

Forlags Vejl. pris
407,72 kr
Hos Booktok
329 kr
spar 19%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
488
ISBN-13:
9783031377051
Indbinding:
Paperback
ISBN-10:
3031377052
Kategori:
Udg. Dato:
17 jul 2023
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
17 jul 2023
Finder produkter...
Kategori sammenhænge