Barbara Jobstmann - Böcker

Visar alla böcker från författaren Barbara Jobstmann.

1 produkt

Kategorier

1 produkt

Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Av Barbara Jobstmann, K. Rustan M. Leino

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar