Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings
Editat de Brijesh Dongol et al.
14 noi 2020
Paperback
Preț: 341.30 lei 426.63 lei
6-8 săpt.
-20%
Cărți de Elena Troubitsyna
Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
Editat de Alexander Romanovsky et al.
9 aug 2019
Paperback
Preț: 452.84 lei 566.06 lei
6-8 săpt.
-20%
Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Editat de Alexander Romanovsky et al.
8 aug 2019
Paperback
Preț: 391.45 lei 489.31 lei
6-8 săpt.
-20%
Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Editat de Ivica Crnkovic et al.
26 aug 2016
Paperback
Preț: 325.63 lei 407.03 lei
6-8 săpt.
-20%
Dependability and Computer Engineering
Editat de Luigia Petre et al.
28 iun 2011
Hardback
Preț: 1106.95 lei 1437.60 lei
6-8 săpt.
-23%
Methods, Models and Tools for Fault Tolerance
Editat de Michael Butler et al.
26 mar 2009
Paperback
Preț: 336.21 lei 420.26 lei
6-8 săpt.
-20%
Rigorous Development of Complex Fault-Tolerant Systems
Editat de Michael Butler et al.
27 noi 2006
Paperback
Preț: 338.49 lei 423.11 lei
6-8 săpt.
-20%