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

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

Plačiau

Automated Technology for Verification and Analysis

Atvira platforma lietuvių autoriams.

Padedame autoriams lengviau parduoti savo knygas internetu ir pasiekti daugiau skaitytojų.

Autoriai, parduodantys knygas per mūsų platformą, gali jas laikyti mūsų sandėliuose be jokio mokesčio.

Naujienlaiškis

Būkite informuoti apie naujas knygas kataloge.