Tools

LEADER 02407cam 2200469 a 4500

001 ssj0000322363;

003 WaSeSS;

005 20240712080447.0;

006 m d ;

007 cr n ;

008 950822s1995 ge a sb 100 0 eng d;

010 a| 95039591;

020 a| 3540603859 (acid-free paper);

035 a| (WaSeSS)ssj0000322363;

040 a| DLCc| DLCd| DLCd| WaSeSS;

049 a| EREEa| NEHH;

050 00 a| TK7874.75b| .A39 1995;

082 00 a| 621.39/52| 20;

111 2 a| Advanced Research Working Conference on Correct Hardware Design Methodologiesd| (1995 :c| Frankfurt/Main, Germany)?| UNAUTHORIZED;

245 10 a| Correct hardware design and verification methodsh| [electronic resource] :b| IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /c| Paolo E. Camurati, Hans Eveking(eds.).;

246 18 a| CHARME '95;

260 a| Berlin ;a| New York :b| Springer,;

300 a| viii, 342 p. :b| ill. ;c| 24 cm.;

440 0 a| Lecture notes in computer science ;v| 987;

504 a| Includes bibliographical references.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Integrated circuitsx| Verificationv| Congresses.=| ^A413570;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Camurati, Paolo.=| ^A375265;

700 1 a| Eveking, Hans.=| ^A375266;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Scienceu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F3-540-60385-9;

856 40 z| Full text available from Springer Booksu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F3-540-60385-9;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4031114;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4031114-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4031114-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/1/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4031114-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

Correct hardware design and verification methods IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / Paolo E. Camurati, Hans Eveking(eds.).

Author/creator	Advanced Research Working Conference on Correct Hardware Design Methodologies
Other author	Camurati, Paolo.
Other author	Eveking, Hans.
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	viii, 342 p. : ill. ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science
Supplemental Content	Full text available from Springer Books
Subjects	Integrated circuits--Very large scale integration. --Computer-aided design. --Congresses. Integrated circuits--Verification. --Congresses.

Spine title	CHARME '95
Series	Lecture notes in computer science ; 987
Bibliography note	Includes bibliographical references.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	95039591
ISBN	3540603859 (acid-free paper)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Online Content Full text available from SpringerLINK Lecture Notes in Computer Science Full text available from SpringerLINK Lecture Notes in Computer Science	✔ Available

Correct hardware design and verification methods IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / Paolo E. Camurati, Hans Eveking(eds.).

Click here for more information about this title

Availability