Siirry sisältöön

HincheyM1995

Tieteen termipankista

M. G. Hinchey and J. B. Bowen. Applications of formal methods. Prentice Hall, 1995.