Josh Berdine - Böcker
Visar alla böcker från författaren Josh Berdine. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Verification, Model Checking, and Abstract Interpretation
14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
Häftad, Engelska, 2013
549 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013.