Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Editat de Maurice H. ter Beek et al.
15 sep 2019
Paperback
Preț: 343.53 lei 429.41 lei
43-57 zile
-20%
Programming and Software Engineering
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Editat de Simon Collart-Dutilleul et al.
24 apr 2019
Paperback
Preț: 376.87 lei 471.08 lei
43-57 zile
-20%
It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Editat de Frank de Boer et al.
7 apr 2018
Paperback
Preț: 318.00 lei 397.50 lei
43-57 zile
-20%
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Editat de Klaus Havelund et al.
12 iul 2018
Paperback
Preț: 585.31 lei 731.65 lei
43-57 zile
-20%
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Editat de Carlo A. Furia et al.
9 aug 2018
Paperback
Preț: 326.42 lei 408.02 lei
43-57 zile
-20%
Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Editat de Rena Bakhshi et al.
3 oct 2018
Paperback
Preț: 319.13 lei 398.90 lei
43-57 zile
-20%