Grigore Rosu - Böcker
329 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
579 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
579 kr
Skickas inom 10-15 vardagar
Model Checking Software
28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
1 439 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
729 kr
Skickas inom 10-15 vardagar
Algebraic Methodology and Software Technology
12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
729 kr
Skickas inom 10-15 vardagar
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
729 kr
Skickas inom 10-15 vardagar
729 kr
Skickas inom 10-15 vardagar