Thomas Wies – författare
Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
1 259 kr
Skickas inom 10-15 vardagar
769 kr
Skickas inom 10-15 vardagar
Programming Languages and Systems
32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
579 kr
Skickas inom 10-15 vardagar
Networked Systems
11th International Conference, NETYS 2023, Benguerir, Morocco, May 22–24, 2023, Proceedings
869 kr
Skickas inom 5-8 vardagar
On the Pursuit of Insight and Elegance
Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday
729 kr
Skickas inom 10-15 vardagar
Verified Software. Theories, Tools, and Experiments
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
729 kr
Skickas inom 10-15 vardagar