NUST Institutions Library Catalogue

Normal view MARC view
  • APPLIED FORMAL VERIFICATION.SIMULATION BASED VERIFICATION.SYSTEM LEVEL SIMULATION

APPLIED FORMAL VERIFICATION.SIMULATION BASED VERIFICATION.SYSTEM LEVEL SIMULATION (Topical Term)

Number of records used in: 1
Preferred form: APPLIED FORMAL VERIFICATION.SIMULATION BASED VERIFICATION.SYSTEM LEVEL SIMULATION

Machine generated authority record.

Work cat.: (NUST): Perry, Douglas L, Foster, Harry D 64211, Applied formal verification, 2005

© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.