Research Catalog

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

Title: Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings / Mandayam Srivas, Albert Camilleri, eds.
Author: FMCAD '96 (1996 : Palo Alto, Calif.)
Publication: Berlin ; New York : Springer, c1996.

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?	Book/Text	Request in advance	JSE 97-161	Offsite

Details

Additional Authors

Description

ix, 470 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 1166

Subjects

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSE 97-161

ISBN

3540619372 (alk. paper)

LCCN

96039129

OCLC

35688096

Conference

FMCAD '96 (1996 : Palo Alto, Calif.)

Title

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings / Mandayam Srivas, Albert Camilleri, eds.

Imprint

Berlin ; New York : Springer, c1996.

Series

Lecture notes in computer science ; 1166

Bibliography

Includes bibliographical references and index.

Added Author

Srivas, Mandayam.

Camilleri, Albert.

Research Call Number

JSE 97-161

View in Legacy Catalog