Jens Palsberg - Böcker
Principles and Practices of Building Parallel Software
Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
1 429 kr
Skickas inom 10-15 vardagar
Verification, Model Checking, and Abstract Interpretation
19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
719 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
Static Analysis
7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings
719 kr
Skickas inom 10-15 vardagar
Model Checking Software
15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
719 kr
Skickas inom 10-15 vardagar
Static Analysis
16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings
719 kr
Skickas inom 10-15 vardagar
Semantics and Algebraic Specification
Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
719 kr
Skickas inom 10-15 vardagar