ADVANCED FORMAL VERIFICATION.

By:

Material type:

TextLanguage: ENGLISH Publication details: DORDRECHT; KLUWER ACADEMIC PUBLISHERS; 2004Edition: 2004Description: 249Subject(s):

DDC classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Call number	Status	Notes	Barcode
Reference	PCCOE	PCCOE	621.392 (Browse shelf(Opens below))	Available	M. TECH. EMBEDDED SYSTEMS AND VLSI ( EANDTC )	PCCOEEC36072

There are no comments on this title.

to post a comment.