Rajaa
Hakutulokset: Hakutulos
Rajaa
yksi hakutulos.
FME '93: Industrial-Strength Formal Methods
nidottu,
1993,
englanti,
ISBN 9783540566625
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive …