Symbolic Simulation Methods for Industrial Formal Verificationde Robert B. JonesEdiciones (1)Symbolic Simulation Methods for Industrial Formal Verification (2002)Springer · inglés · ISBN 9781402071034Más obras de Robert B. JonesCCoastal zone protection and planningCoastal zone protection and planning1992TThe Housing Corporation
