مرکز منطقه ای اطلاع رساني علوم و فناوري - Verification techniques for system-level design

Record number :

9938

Author :

Fujita Masahiro

Creator Role :

نويسنده

Title :

Verification techniques for system-level design

Publication :

Amsterdam Elsevier

Published Year :

2008

Fierst Pages :

viii

Main Pages :

240

Collation :

viii، 240، illus، tables

Reprint :

False

Added entries :

AU نويسنده Ghosh Indradeep 1970- , AU نويسنده Prasad Mukul

Subject :

Systems on a chip- Testing , Integrated circuits- Verification , Formal methods (Computer science)

Class :

621

Number :

3815

CutterNumber :

F 8

ISBN :

978-0-12-370616-4

Language :

انگليسي

Link To Document :