Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Brand: Dang Van Hung
SKU: 9783030591519
Price: 55.37 EUR
Availability: InStock

18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

Programming and Software Engineering

€55,37 €68,10

Por Dang Van Hung

Pristatymas gali užtrukti 2-3 sav.

Entrega rápida

574 psl.

2020 m.

Minkštas viršelis

Código de barras: 9783030591519

Ver detalhes

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.

Boletim informativo

Fique a par das novidades do catálogo de livros.