Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings / edited by Alan J. Hu, Andrew K. Martin.

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Hu, Alan J. (Editor), Martin, Andrew K. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
Edition:1st ed. 2004.
Series:Lecture Notes in Computer Science, 3312
Springer eBook Collection.
Subjects:
Computer-aided engineering.
Computer hardware.
Software engineering.
Computer logic.
Mathematical logic.
Artificial intelligence.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Description
Physical Description:XII, 448 p. online resource.
ISBN:9783540304944
ISSN:0302-9743 ;
DOI:10.1007/b102264

Similar Items