Tools

LEADER 02334cam a2200469 a 4500

001 ssj0000322362;

003 WaSeSS;

005 20240712080447.0;

006 m d ;

007 cr n ;

008 930901s1993 gw a sb 100 0 eng d;

010 a| 93199765;

020 a| 354056778X (Berlin : acid-free paper);

020 a| 038756778X (New York : acid-free paper);

035 a| (WaSeSS)ssj0000322362;

040 a| DLCc| DLCd| DLCd| WaSeSS;

049 a| EREEa| NEHH;

050 00 a| TK7874b| .C55 1993;

082 00 a| 621.39/22| 20;

111 2 a| CHARME '93d| (1993 :c| Arles, France)?| UNAUTHORIZED;

245 10 a| Correct hardware design and verification methodsh| [electronic resource] :b| IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings /c| George J. Milne, Laurence Pierre, eds.;

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

300 a| vi, 269 p. :b| ill. ;c| 24 cm.;

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

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| Computer-aided designv| Congresses.=| ^A1238232;

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

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

700 1 a| Milne, George J.,d| 1952-=| ^A321245;

700 1 a| Pierre, Laurence.=| ^A321246;

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%2FBFb0021709;

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%2FBFb0021709;

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| 4031113;

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

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

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

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.

Author/creator	CHARME '93
Other author	Milne, George J., 1952-
Other author	Pierre, Laurence.
Format	Electronic
Publication Info	Berlin ; New York : Springer-Verlag,
Description	vi, 269 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--Computer-aided design. --Congresses. Integrated circuits--Verification. --Congresses.

Series	Lecture notes in computer science ; 683
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	93199765
ISBN	354056778X (Berlin : acid-free paper)
ISBN	038756778X (New York : 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.2 advanced research working conference, CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre, eds.

Click here for more information about this title

Availability