VDM '87. VDM - A Formal Method at Work Editat de Dines Bjørner et al. 11 mar 1987 Paperback Preț: 329.14 lei 411.42 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ț: 614.65 lei 768.32 lei 43-57 zile -20%
Rigorous Development of Complex Fault-Tolerant Systems Editat de Michael Butler et al. 27 noi 2006 Paperback Preț: 330.98 lei 413.73 lei 43-57 zile -20%
The Living History Anthology: Perspectives from ALHFAM Editat de Martha B. Katz-Hyman et al. 7 ian 2019 Paperback Preț: 377.94 lei 43-57 zile
Symposium on Real-Time and Hybrid Systems Lecture Notes in Computer Science, nr. 11180 Editat de Cliff Jones et al. 29 sep 2018 Paperback Preț: 320.93 lei 401.17 lei 43-57 zile -20%
FM 2014: Formal Methods Lecture Notes in Computer Science, nr. 8442 Editat de Cliff Jones et al. 9 apr 2014 Paperback Preț: 647.86 lei 809.82 lei 43-57 zile -20%