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ț: 334.43 lei 418.04 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ț: 443.72 lei 554.65 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ț: 383.57 lei 479.45 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ț: 319.07 lei 398.84 lei
6-8 săpt.
-20%
Dependability and Computer Engineering
Editat de Luigia Petre et al.
28 iun 2011
Hardback
Preț: 1084.50 lei 1408.45 lei
6-8 săpt.
-23%
Methods, Models and Tools for Fault Tolerance
Editat de Michael Butler et al.
26 mar 2009
Paperback
Preț: 330.57 lei 413.22 lei
6-8 săpt.
-20%
Rigorous Development of Complex Fault-Tolerant Systems
Editat de Michael Butler et al.
27 noi 2006
Paperback
Preț: 332.83 lei 416.03 lei
6-8 săpt.
-20%