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
6-8 săpt.
-20%
Cărți de Maurice H. ter Beek
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Editat de Maurice H. ter Beek et al.
14 sep 2019
Paperback
Preț: 333.68 lei 417.09 lei
6-8 săpt.
-20%
Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
Editat de Maurice H. ter Beek et al.
29 aug 2020
Paperback
Preț: 320.72 lei 400.90 lei
6-8 săpt.
-20%
Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
Editat de Maurice H. ter Beek et al.
6 iul 2022
Paperback
Preț: 728.00 lei 910.01 lei
6-8 săpt.
-20%
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Editat de Maurice H. ter Beek et al.
14 sep 2016
Paperback
Preț: 318.17 lei 397.71 lei
6-8 săpt.
-20%
Architecting Dependable Systems VI
Editat de Rogério de Lemos et al.
2 noi 2009
Paperback
Preț: 324.19 lei 405.23 lei
6-8 săpt.
-20%
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Editat de Maurice H. ter Beek et al.
25 apr 2013
Paperback
Preț: 286.22 lei 357.78 lei
6-8 săpt.
-20%