Filter
Søkt på: Søkeresultat
Filter
1 treff
FME '93: Industrial-Strength Formal Methods
heftet,
1993,
Engelsk,
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 …