Automated Technology for Verification and Analysis

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

Programming and Software Engineering

Akcijos kaina €55,37 Įprasta kaina €68,10
Autorius Dang Van Hung
Pristatymas gali užtrukti 2-3 sav.

NEMOKAMAS pristatymas

574 psl.

2020 m.

Minkštas viršelis

Brūkšninis kodas: 9783030591519