Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
FME '93: Industrial-Strength Formal Methods
häftad,
1993,
Engelska,
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 …
Data Analytics
häftad,
2017,
Engelska,
ISBN 9783319607948
This book constitutes the refereed conference proceedings of the 31st British International Conference on Databases, BICOD 2017 - formerly known as BNCOD (British National …