Research Catalog

Formal methods in computer aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

Title: Formal methods in computer aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley, eds.
Author: FMCAD '98 (1998 : Palo Alto, Calif.)
Publication: Berlin ; New York : Springer, 1998.

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 98-1578	Offsite

Details

Additional Authors

Description

ix, 528 p. ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 1522

Subjects

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSE 98-1578

ISBN

3540651918 (soft cover : alk. paper)

LCCN

98046729

OCLC

40043692

Conference

FMCAD '98 (1998 : Palo Alto, Calif.)

Title

Formal methods in computer aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley, eds.

Imprint

Berlin ; New York : Springer, 1998.

Series

Lecture notes in computer science ; 1522

Bibliography

Includes bibliographical references and index.

Added Author

Gopalakrishnan, Ganesh.

Windley, Phillip.

Research Call Number

JSE 98-1578

View in Legacy Catalog