Tools

LEADER 02221cam 2200445Ia 4500

001 ocm28185905;

003 OCoLC;

005 20141212101350.0;

008 930601s1993 gw a b 100 0 eng d;

020 a| 354056778X (Springer-Verlag Berlin);

020 a| 038756778X (Springer-Verlag New York);

035 a| (Sirsi) o28185905;

035 a| (OCoLC)29389365;

049 a| EREE;

090 a| TK7874b| .A3353 1993;

111 2 a| Advanced Research Working Conference on Correct Hardware Design Methodologiesd| (1993 :c| Arles, France)?| UNAUTHORIZED;

245 10 a| Correct hardware design and verification methods :b| IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings /c| George J. Milne, Laurence Pierre (eds.).;

300 a| vi, 269 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 683;

500 a| "Papers presented at the 'Advanced Research Working Conference on Correct HARdware Design MEthodologies' held in Arles (France)"--Foreword.;

500 a| "Organized by the ESPRIT Working Group 6018 'CHARME-2' and the Université de Provence (Marseille), in cooperation with IFIP WG10.2"--Foreword.;

504 a| Includes bibliographical references.;

650 0 a| Computer-aided designv| Congresses.=| ^A464450;

650 0 a| Computer softwarex| Verificationv| Congresses.=| ^A1146757;

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

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

710 2 a| ESPRIT Working Group 6018 "CHARME-2."?| UNAUTHORIZED;

710 2 a| IFIP WG 10.2.=| ^A212865;

710 2 a| Université de Provence.=| ^A153980;

740 0 a| CHARME '93.;

830 0 a| Lecture notes in computer sciencev| 683.=| ^A466336;

596 a| 1;

998 a| 480485;

999 a| TK7874 .A3353 1993w| LCc| 1i| 30372007687558d| 4/3/2013e| 2/9/1995f| 4/3/2013g| 3l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 11/12/1993x| BOOKz| JSTACKSo| .STAFF. 0;

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.).

Author/creator	Advanced Research Working Conference on Correct Hardware Design Methodologies
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1993.
Description	vi, 269 pages : illustrations ; 24 cm.
Subjects	Integrated circuits--Design and construction. --Data processing. --Congresses. Computer-aided design--Congresses. Computer software--Verification. --Congresses.

Other author/creator	Milne, George J., 1952-
Other author/creator	Pierre, Laurence.
Other author/creator	ESPRIT Working Group 6018 "CHARME-2."
Other author/creator	IFIP WG 10.2.
Other author/creator	Université de Provence.
Series	Lecture notes in computer science ; 683 Lecture notes in computer science 683. ^A466336
General note	"Papers presented at the 'Advanced Research Working Conference on Correct HARdware Design MEthodologies' held in Arles (France)"--Foreword.
General note	"Organized by the ESPRIT Working Group 6018 'CHARME-2' and the Université de Provence (Marseille), in cooperation with IFIP WG10.2"--Foreword.
Bibliography note	Includes bibliographical references.
Other title	CHARME '93.
ISBN	354056778X (Springer-Verlag Berlin)
ISBN	038756778X (Springer-Verlag New York)

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.).

Click here for more information about this title