Research Catalog

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings

Title: Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings / Laurence Pierre, Thomas Kropf (eds.).
Author: CHARME'99 (1999 : Bad Herrenalb, Germany)
Publication: Berlin ; New York : Springer, c1999.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 00-398	Offsite

Details

Additional Authors

Description

xi, 366 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science, 0302-9743 ; 1703

Subjects

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSE 00-398

ISBN

3540665595 (pbk.)

LCCN

99051458

OCLC

42680362

Conference

CHARME'99 (1999 : Bad Herrenalb, Germany)

Title

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings / Laurence Pierre, Thomas Kropf (eds.).

Imprint

Berlin ; New York : Springer, c1999.

Series

Lecture notes in computer science, 0302-9743 ; 1703

Bibliography

Includes bibliographical references and index.

Added Author

Pierre, Laurence.

Kropf, Thomas, 1961-

Research Call Number

JSE 00-398

View in Legacy Catalog