Scalable Techniques for Formal Verification
Autor:
Sandip Ray
Disponibilitate:
În depozitul extern în cantități mici
Expediem în 11-15 zile
582.46
lei
This book presents state-of-the-art approaches to formal verification techniques to seamlessly integ...