Fundamental Approaches to Software Engineering Editat de Dirk Beyer et al. 6 apr 2024 Paperback Preț: 296.27 lei 370.34 lei 6-8 săpt. -20%
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings Lecture Notes in Computer Science, nr. 11823 Editat de Dirk Beyer et al. 11 sep 2019 Paperback Preț: 316.11 lei 395.14 lei 6-8 săpt. -20%
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II Lecture Notes in Computer Science, nr. 10806 Editat de Dirk Beyer et al. 14 apr 2018 Paperback Preț: 356.13 lei 445.17 lei 6-8 săpt. -20%
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings Lecture Notes in Computer Science, nr. 7892 Editat de Dirk Beyer et al. 16 mai 2013 Paperback Preț: 321.66 lei 402.08 lei 6-8 săpt. -20%
Markovian Demand Inventory Models International Series in Operations Research & Management Science, nr. 108 Autor Dirk Beyer et al. 25 feb 2012 Paperback Preț: 697.67 lei 850.82 lei 6-8 săpt. -18%