Integration of Software Specification Techniques for Applications in Engineering Editat de Hartmut Ehrig et al. 22 sep 2004 Paperback Preț: 339.79 lei 424.74 lei 43-57 zile -20%
Formal Techniques in Real-Time and Fault-Tolerant Systems Editat de Werner Damm et al. 28 aug 2002 Paperback Preț: 330.96 lei 413.70 lei 43-57 zile -20%
Practical Formal Methods for Hardware Design Research Reports Esprit Editat de Carlos Delgado Kloos et al. 28 mai 1997 Paperback Preț: 320.37 lei 400.47 lei 43-57 zile -20%
Computer Aided Verification Editat de Werner Damm et al. 2 iul 2007 Paperback Preț: 336.71 lei 420.88 lei 43-57 zile -20%