Research Catalog

Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings

Title: Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings / Alan J. Hu, Andrew K. Martin (eds.).
Author: FMCAD 2004 (2004 : Austin, Texas)
Publication: Berlin : Springer, 2004.

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 05-140	Offsite

Details

Additional Authors

Description

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

Series Statement

Lecture notes in computer science, 0302-9743 ; 3312

Alternative Title

FMCAD 2004

Subjects

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSE 05-140

ISBN

3540237380 (pbk.)

LCCN

2004115344

OCLC

57066779

Conference

FMCAD 2004 (2004 : Austin, Texas)

Title

Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings / Alan J. Hu, Andrew K. Martin (eds.).

Imprint

Berlin : Springer, 2004.

Series

Lecture notes in computer science, 0302-9743 ; 3312

Bibliography

Includes bibliographical references and index.

Added Author

Hu, Alan J. (Alan John)

Martin, Andrew K.

Note

FMCAD 2004

Research Call Number

JSE 05-140

View in Legacy Catalog