Mariëlle Stoelinga - Böcker
Formal Modeling and Analysis of Timed Systems
17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
719 kr
Skickas inom 10-15 vardagar
Fundamental Approaches to Software Engineering
24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
579 kr
Skickas inom 10-15 vardagar
Journey from Process Algebra via Timed Automata to Model Learning
Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
719 kr
Skickas inom 10-15 vardagar
Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
1 079 kr
Skickas inom 10-15 vardagar
Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
1 009 kr
Skickas inom 10-15 vardagar
Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
1 149 kr
Skickas inom 10-15 vardagar
909 kr
Skickas inom 10-15 vardagar
- Nyhet
Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I
989 kr
Kommande
- Nyhet
Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II
1 849 kr
Kommande
Formal Methods for Industrial Critical Systems
17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings
639 kr
Skickas inom 10-15 vardagar
Quantitative Evaluation of Systems
10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
699 kr
Skickas inom 10-15 vardagar
Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
689 kr
Skickas inom 10-15 vardagar