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%
Cărți de Werner Damm
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
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ț: 335.68 lei 419.59 lei
43-57 zile
-20%
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Autor Werner Damm
23 sep 1987
Paperback
Preț: 351.37 lei 439.22 lei
43-57 zile
-20%