Integration of Software Specification Techniques for Applications in Engineering
Editat de Hartmut Ehrig et al.
22 sep 2004
Paperback
Preț: 338.75 lei 423.44 lei
6-8 săpt.
-20%
Cărți de Werner Damm
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Editat de Werner Damm et al.
28 aug 2002
Paperback
Preț: 328.94 lei 411.17 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Computer Aided Verification
Editat de Werner Damm et al.
2 iul 2007
Paperback
Preț: 335.68 lei 419.59 lei
6-8 săpt.
-20%
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Autor Werner Damm
23 sep 1987
Paperback
Preț: 351.37 lei 439.22 lei
6-8 săpt.
-20%