The Living History Anthology: Perspectives from ALHFAM Editat de Martha B. Katz-Hyman et al. 7 ian 2019 Paperback Preț: 238.37 lei 288.08 lei 43-57 zile -17%
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday Lecture Notes in Computer Science, nr. 11180 Editat de Cliff Jones et al. 29 sep 2018 Paperback Preț: 321.96 lei 402.45 lei 43-57 zile -20%
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings Lecture Notes in Computer Science, nr. 8442 Editat de Cliff Jones et al. 9 apr 2014 Paperback Preț: 649.57 lei 811.97 lei 43-57 zile -20%
Rigorous Development of Complex Fault-Tolerant Systems Lecture Notes in Computer Science, nr. 4157 Editat de Michael Butler et al. 27 noi 2006 Paperback Preț: 328.85 lei 411.06 lei 43-57 zile -20%
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective Autor Denis Besnard et al. 27 dec 2005 Paperback Preț: 627.60 lei 784.50 lei 43-57 zile -20%
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings Lecture Notes in Computer Science, nr. 252 Editat de Dines Bjørner et al. 11 mar 1987 Paperback Preț: 329.66 lei 412.07 lei 43-57 zile -20%