Lecture Notes in Computer Science
Volume 3312, 2004, DOI: 10.1007/b102264

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

Alan J. Hu and Andrew K. Martin

Contents

Viewing all 30 chapters
Search within

Browse This Book

  • Look Inside
  • Contents
  • ESM

About This Book

Title
Formal Methods in Computer-Aided Design
5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2004
DOI
10.1007/b102264
ISBN
978-3-540-23738-9
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Tuesday, January 18, 2005

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002