opac-header

Formal methods in systems engineering

Formal methods in systems engineering - London: Springer, 1988 - vii, 191p.


Computer

Engineering

D 681.3.06 / N3