FUJITA,M AND OTHERS.

VERIFICATION TECHNIQUES FOR SYSTEM- LEVEL DESIGN - Amsterdam Morgan Kaufmann 2008 - viii+240p.,22x19Cms.

0123706164

621.38195 F949