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 I
Engelsk
Bogcover for Automated Technology for Verification and Analysis af , 9783031453281
Specifikationer
Sprog:
Engelsk
Sider:
446
ISBN-13:
9783031453281
Indbinding:
Paperback
ISBN-10:
303145328X
Kategori:
Udg. Dato:
22 okt 2023
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
22 okt 2023

Automated Technology for Verification and Analysis

- 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I
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
815,53 kr
Hos Booktok
641 kr
spar 21%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

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