Formal Methods for Industrial Critical Systems
Editat de Mariëlle Stoelinga et al.
17 iul 2012
Paperback
Preț: 290.79 lei 363.48 lei
6-8 săpt.
-20%
Cărți de Mariëlle Stoelinga
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Editat de Nils Jansen et al.
7 sep 2022
Paperback
Preț: 333.87 lei 417.33 lei
6-8 săpt.
-20%
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
Editat de Esther Guerra et al.
20 mar 2021
Paperback
Preț: 296.69 lei 370.86 lei
6-8 săpt.
-20%
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Editat de Kaustubh Joshi et al.
7 aug 2013
Paperback
Preț: 326.24 lei 407.80 lei
6-8 săpt.
-20%
Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Editat de Anne Remke et al.
31 oct 2014
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Editat de Étienne André et al.
13 aug 2019
Paperback
Preț: 320.86 lei 401.08 lei
6-8 săpt.
-20%