Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Automated Technology for Verification and Analysis
- 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II
Engelsk
Bogcover for Automated Technology for Verification and Analysis af , 9783031453311
Specifikationer
Sprog:
Engelsk
Sider:
330
ISBN-13:
9783031453311
Indbinding:
Paperback
ISBN-10:
303145331X
Kategori:
Udg. Dato:
19 okt 2023
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
19 okt 2023

Automated Technology for Verification and Analysis

- 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II
Engelsk
Paperback 2023
Format:

Bog beskrivelse
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023.
... Vis mere

Forlags Vejl. pris
757,27 kr
Hos Booktok
591 kr
spar 22%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
330
ISBN-13:
9783031453311
Indbinding:
Paperback
ISBN-10:
303145331X
Kategori:
Udg. Dato:
19 okt 2023
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
19 okt 2023
Finder produkter...
Kategori sammenhænge