David Monniaux – författare

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

1 produkt

Kategorier

1 produkt

Del 10145

Ahmed Bouajjani, David Monniaux - Verification, Model Checking, and Abstract Interpretation, Häftad

Del 10145 - Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation

18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

AvAhmed Bouajjani,David Monniaux

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar