Verified Software: Theorie, Tools, Experiments
Editat de Ernie Cohen et al.
23 ian 2014
Paperback
Preț: 324.45 lei 405.57 lei
43-57 zile
-20%
Programming and Software Engineering
Software Engineering for Resilient Systems
Editat de Anatoliy Gorbenko et al.
13 sep 2013
Paperback
Preț: 289.37 lei 361.70 lei
43-57 zile
-20%
Scaling up Learning for Sustained Impact
Editat de Davinia Hernández-Leo et al.
12 sep 2013
Paperback
Preț: 340.15 lei 425.19 lei
43-57 zile
-20%
Formal Methods for Components and Objects
Editat de Elena Giachino et al.
26 aug 2013
Paperback
Preț: 291.39 lei 364.24 lei
43-57 zile
-20%
Formal Methods for Components and Objects
Editat de Bernhard Beckert et al.
3 ian 2013
Paperback
Preț: 324.63 lei 405.79 lei
43-57 zile
-20%
Hardware and Software: Verification and Testing
Editat de Kerstin Eder et al.
9 oct 2012
Paperback
Preț: 412.98 lei 516.22 lei
43-57 zile
-20%
Computer Safety, Reliability, and Security
Editat de Frank Ortmeier et al.
30 aug 2012
Paperback
Preț: 333.82 lei 417.28 lei
43-57 zile
-20%
Software Engineering and Formal Methods
Editat de George Eleftherakis et al.
28 aug 2012
Paperback
Preț: 326.27 lei 407.84 lei
43-57 zile
-20%
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Editat de Frank S. de Boer et al.
19 sep 2005
Paperback
Preț: 321.66 lei 402.08 lei
43-57 zile
-20%
Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
Editat de Farhad Arbab et al.
27 ian 2010
Paperback
Preț: 330.54 lei 413.16 lei
43-57 zile
-20%