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 6-8 săpt. -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 6-8 săpt. -20%
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen Informatik-Fachberichte, nr. 146 Autor Werner Damm 23 sep 1987 Paperback Preț: 351.37 lei 439.22 lei 6-8 săpt. -20%