Rajaa
Hakutulokset: 3540761586 kuuluu kategoriaan kirjat
Rajaa
yksi hakutulos.
Formal Methods in Human-Computer Interaction
nidottu,
1997,
englanti,
ISBN 9783540761587
Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whether these benefits …