Verified Software: Theories, Tools and Experiments

Name: Verified Software: Theories, Tools and Experiments
Brand: Springer International Publishing AG

Stabilní cena

Aktuální cena je nejnižší za posledních 30 dní.

1 187 Kč

Springer International Publishing AG

Celý popis

Do obchodu

O produktu

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification.

Tip: Podívejte se také na další produkty z kategorie Počítačová věda.