Klaus Havelund - Böcker
NASA Formal Methods
14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings
1 859 kr
Skickas inom 10-15 vardagar
NASA Formal Methods
7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
719 kr
Skickas inom 10-15 vardagar
Formal Methods
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
1 289 kr
Skickas inom 10-15 vardagar
SPIN Model Checking and Software Verification
7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
719 kr
Skickas inom 10-15 vardagar
Formal Approaches to Software Testing and Runtime Verification
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
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
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
719 kr
Skickas inom 10-15 vardagar
NASA Formal Methods
Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
719 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar