Automated Technology for Verification and Analysis

20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings

Omschrijving

Er is geen omschrijving gevonden.

€ 72,65
Paperback / softback
 
Gratis verzending vanaf
€ 19,95 binnen Nederland
Schrijver
Titel
Automated Technology for Verification and Analysis
Uitgever
Springer International Publishing AG
Jaar
2022
Taal
Onbekend
Pagina's
EAN
9783031199912
Bindwijze
Paperback / softback

U ontvangt bij ons altijd de laatste druk!


Rubrieken

Boekstra