Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Brand: Zhe Hou
SKU: 9783030888848
Price: 284.00 PLN
Availability: InStock

19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

Lecture Notes in Computer Science

284,00 zł 346,00 zł

Według Zhe Hou

Pristatymas gali užtrukti 2-3 sav.

Szybka dostawa

382 psl.

2021 m.

Minkštas viršelis

Kod kreskowy: 9783030888848

Opis

This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021.

Wyświetl szczegółowe informacje

Automated Technology for Verification and Analysis

From Lithuania, with love ❤️

Like you, we love books. And we’ve had this passion since the very beginning.

Every day we strive to grow, improve, and expand our offering so that the books you purchase online reach you in the best possible way: quickly, at an affordable price, and in perfect condition.

All the books you see in our store are in stock and ready to ship.

Newsletter

Bądź na bieżąco z nowościami w katalogu książek.