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 …
Reconfigurable Computing: Architectures, Tools and Applications
häftad,
2009,
Engelska,
ISBN 9783642006401
This book constitutes the refereed proceedings of the 5th International Workshop on Applied Reconfigurable Computing, ARC 2009, held in Karlsruhe, Germany, in March 2009. The 21 …