Francesco Logozzo - Böcker
Visar alla böcker från författaren Francesco Logozzo.
2 produkter
2 produkter
Verification, Model Checking, and Abstract Interpretation
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Häftad, Engelska, 2008
719 kr
Skickas inom 10-15 vardagar
Static Analysis
20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings
Häftad, Engelska, 2013
719 kr
Skickas inom 10-15 vardagar