Grigore Rosu - Böcker
265 kr
Skickas inom 3-6 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I
442 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
442 kr
Skickas inom 10-15 vardagar
Model Checking Software
28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
1 095 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
551 kr
Skickas inom 10-15 vardagar
Algebraic Methodology and Software Technology
12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
551 kr
Skickas inom 10-15 vardagar
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
551 kr
Skickas inom 10-15 vardagar
551 kr
Skickas inom 10-15 vardagar