Hoofdkenmerken
Auteur:
Sun, Jun
Redactie:
Sun, Jun
Titel:
Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24â27, 2023, Proceedings, Part II
Uitgever:
Springer International
ISBN:
9783031453311
ISBN boekversie:
9783031453328
Serie:
Lecture Notes in Computer Science
Editie:
1st ed. 2023
Land van oorsprong:
Switzerland
Prijs:
€ 96,84
Verschijningsdatum:
19-10-2023
Bericht:
Langere levertijd (2-3 weken)
Inhoudelijke kenmerken
Technische kenmerken
Verschijningsvorm:
Paperback / softback
Paginas:
330
Hoogte mm.:
235
Breedte mm.:
155
Inhoud: 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.
nl
en