Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings

＜Books＞
Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.)
(Lecture notes in computer science ; 683)

Publisher	Berlin ; Tokyo : Springer-Verlag
Year	c1993
Codes	ID=2000708788 NCID=BA2032266X
Online Material	https://jg8gn6xr5x.search.serialssolutions.com/?isbn=354056778X

Language	English
Size	vi, 269 p. : ill. ; 24 cm
Notes	Includes bibliographical references
Authors	Milne, George J., 1952- Pierre, Laurence *Advanced Research Working Conference on Correct Hardware Design Methodologies (1993 : Arles, France)
Subjects	LCSH:Integrated circuits -- Design nd construction -- Data procesing -- Congresses All Subject Search LCSH:Integrated circuits -- Verification -- Congresses All Subject Search LCSH:Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses All Subject Search
Classification	LCC:TK7874 LCC:TK7874.75 DC20:621.39/2
Vol	: gw ; ISBN:354056778X : us ; ISBN:038756778X

Location	Volume	Call No.	Barcode No.	Status	Comments	ISBN	Printed	Print	Reserve	Restriction	Copy	eDDS
Cent.Lib.,Closed Stacks ,Books(European Lang.)	: gw	004/L497/683	8270009592			354056778X	1993	Print					Print